<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Apr 5, 2013 at 9:28 PM, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov" target="_blank">bsmith@mcs.anl.gov</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":6i7">The biggest mistake of C was CPP<br>
<br>
   Hey, we can eliminate the currently needed (PetscObject) cast in a bunch of places with this horrible trick.<br></div></blockquote><div><br></div><div style>I thought you liked the explicitness of that cast.</div><div>
 </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":6i7">
   This actually doesn't introduce any more macros, its the same number with more reasonable naming.</div></blockquote></div><br>Sure, it just uses #undef. I have no problem with changing it.</div></div>