<div class="gmail_quote">On Mon, Jan 2, 2012 at 08:35, Dominik Szczerba <span dir="ltr"><<a href="mailto:dominik@itis.ethz.ch">dominik@itis.ethz.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I figure "optional" here was supposed to be PETSC_NULL.</blockquote></div><br><div>yes, I updated the docs for petsc-dev to clarify</div>