Index: /issm/trunk-jpl/src/c/classes/Params/Parameters.cpp
===================================================================
--- /issm/trunk-jpl/src/c/classes/Params/Parameters.cpp	(revision 25633)
+++ /issm/trunk-jpl/src/c/classes/Params/Parameters.cpp	(revision 25634)
@@ -688,6 +688,8 @@
 		/*In case we are using PETSC, we do not rely on issmoptions. Instead, we dump issmoptions into the Petsc
 		 * options database: */
+		#if (_PETSC_MINOR_<14)
+		PetscOptionsSetFromOptions(NULL);
+		#endif
 		#if (_PETSC_MINOR_>=7)
-		PetscOptionsSetFromOptions(NULL);
 		PetscOptionsClear(NULL);
 		int ierr = PetscOptionsInsertString(NULL,options);