Index: /issm/trunk-jpl/src/c/modules/Solverx/Solverx.cpp
===================================================================
--- /issm/trunk-jpl/src/c/modules/Solverx/Solverx.cpp	(revision 12904)
+++ /issm/trunk-jpl/src/c/modules/Solverx/Solverx.cpp	(revision 12905)
@@ -32,5 +32,5 @@
 	switch(Kff->type){
 		#ifdef _HAVE_PETSC_
-		case PetscMatType:
+		case PetscMatType:{
 			PetscVec* uf0_vector = NULL;
 			PetscVec* df_vector  = NULL;
@@ -38,9 +38,9 @@
 			if(df)  df_vector  = df->pvector;
 			SolverxPetsc(&uf->pvector,Kff->pmatrix,pf->pvector,uf0_vector,df_vector,parameters);
-			break;
+			break;}
 		#endif
-		case SeqMatType:
+		case SeqMatType:{
 			SolverxSeq(&uf->svector,Kff->smatrix,pf->svector);
-			break
+			break;}
 		default:
 			  _error2_("Matrix type: " << Kff->type << " not supported yet!");
