Compile warning fix.

7 years ago · 39d83fafea
1 changed files with 3 additions and 2 deletions
--- a/prism/src/sparse/PS_NondetMultiObjGS.cc
+++ b/prism/src/sparse/PS_NondetMultiObjGS.cc
@ -379,9 +379,10 @@ JNIEXPORT jdoubleArray __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1Nondet
 				
 				double val_yes = 0.0;  
 				for (int probi = 0; probi < lenProb; probi++) {
-					if (probi != ignoredWeight && yes_vec[probi]!=NULL);
+					if (probi != ignoredWeight && yes_vec[probi]!=NULL) {
 						val_yes += weights[probi] * yes_vec[probi][i];
 					}
+				}
 				
 				//TODO: we need to handle val_yes somehow
 				if (val_yes == 0 || d1>val_yes)