If i manually call dolfin_init in order to use petsc command line options, do I need to manually call PetscFinalize(), or some other routine?
-gideon _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
