dolfin team mailing list archive

[Gideon Simpson <grs2103@xxxxxxxxxxxx>]

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