petsc-3.3-p7 2013-05-11

PetscOptionsDestroy

Destroys the option database.

#include "petscsys.h"   
PetscErrorCode  PetscOptionsDestroy(void)

Since PetscOptionsDestroy() is called by PetscFinalize(), the user typically does not need to call this routine.