<div class="gmail_extra">On Sat, Dec 8, 2012 at 12:09 AM, Jerry James <span dir="ltr"><<a href="mailto:loganjerry@gmail.com" target="_blank">loganjerry@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

I'm seeing lots of warnings like this in the build output.  Should I worry about it?<br></blockquote></div><div class="gmail_extra"><br></div>Not really. Seems the type propagator is confused about it -- could you please open a bug report for this? Thanks!</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">Juanjo<br clear="all"><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>


</div>