<div dir="ltr"><a href="http://www.mcs.anl.gov/petsc/petsc-current/docs/manualpages/Sys/PetscOptionsBool.html#PetscOptionsBool">http://www.mcs.anl.gov/petsc/petsc-current/docs/manualpages/Sys/PetscOptionsBool.html#PetscOptionsBool</a><br><div><br></div><div>has PetscOptionsBool_Private in the body.</div><div><br></div><div>Mark</div>







</div>