Index: /issm/trunk-jpl/src/c/modules/Solverx/SolverxPetsc.cpp
===================================================================
--- /issm/trunk-jpl/src/c/modules/Solverx/SolverxPetsc.cpp	(revision 14449)
+++ /issm/trunk-jpl/src/c/modules/Solverx/SolverxPetsc.cpp	(revision 14450)
@@ -67,5 +67,5 @@
 	/*First, check that f-set is not NULL, i.e. model is fully constrained:*/ 
 	_assert_(Kff);
-	MatGetSize(Kff,&global_m,&global_n); _assert_(global_m==global_m);
+	MatGetSize(Kff,&global_m,&global_n); _assert_(global_m==global_n);
 	if(!global_n){
 		*puf=NewVec(0,IssmComm::GetComm()); return;