Index: /issm/trunk-jpl/src/c/classes/Params/Parameters.cpp
===================================================================
--- /issm/trunk-jpl/src/c/classes/Params/Parameters.cpp	(revision 25651)
+++ /issm/trunk-jpl/src/c/classes/Params/Parameters.cpp	(revision 25652)
@@ -687,14 +687,8 @@
 	#ifdef _HAVE_PETSC_
 		/* In case we are using PETSC, we do not rely on issmoptions. Instead, 
-		   we dump issmoptions into the Petsc options database.
-
-		   TODO: Remove the check on !WINDOWS when GNU-like Windows build has 
-		   been implemented
-		 */
-
-		#if (!WINDOWS)
-		#if (_PETSC_MINOR_<14)
+		   we dump issmoptions into the Petsc options database */
+
+		#if (_PETSC_MINOR_>=7 && _PETSC_MINOR_<14)
 		PetscOptionsSetFromOptions(NULL);
-		#endif
 		#endif
 		#if (_PETSC_MINOR_>=7)