<div class="gmail_quote">On Thu, Jan 5, 2012 at 11:21, Jed Brown <span dir="ltr"><<a href="mailto:jedbrown@mcs.anl.gov">jedbrown@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><a href="http://petsc.cs.iit.edu/petsc/petsc-dev/rev/3e8229e78095" target="_blank">http://petsc.cs.iit.edu/petsc/petsc-dev/rev/<span class="il">3e8229e78095</span></a></div><div><br></div><div>I'm having trouble understanding the justification that you gave in the commit message...</div>

<div><br></div><div>Also, that comment format is not allowed in PETSc code.</div></blockquote></div><br><div>So now Peter has fixed the comment syntax in (<a href="http://petsc.cs.iit.edu/petsc/petsc-dev/rev/113ebf3872d3">http://petsc.cs.iit.edu/petsc/petsc-dev/rev/113ebf3872d3</a>), but we still have this confusing fragment of dead code floating around. Is the error handler really not supposed to be set? Was this a debugging fragment that never should have been committed? What's going on here? (I want to either delete the line or uncomment it.)</div>