Index: /issm/trunk-jpl/src/m/model/petscversion.m
===================================================================
--- /issm/trunk-jpl/src/m/model/petscversion.m	(revision 11727)
+++ /issm/trunk-jpl/src/m/model/petscversion.m	(revision 11728)
@@ -5,4 +5,6 @@
 %       PETSC_VERSION=petscversion();
 
+%default
+PETSC_VERSION=3;
 
 configfile=[issmtier() '/config.h'];