PetscOptionsDestroy

Destroys the option database.

#include "petsc.h"   
int PetscOptionsDestroy(void)

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