From 39d83fafeae17f2b345e1b30bc47d63bc8ab6bb3 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 23 Apr 2019 19:46:07 +0100
Subject: [PATCH] Compile warning fix.

---
 prism/src/sparse/PS_NondetMultiObjGS.cc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/prism/src/sparse/PS_NondetMultiObjGS.cc b/prism/src/sparse/PS_NondetMultiObjGS.cc
index 1129a2b4..4a5e58d5 100644
--- a/prism/src/sparse/PS_NondetMultiObjGS.cc
+++ b/prism/src/sparse/PS_NondetMultiObjGS.cc
@@ -379,8 +379,9 @@ 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);
-					val_yes += weights[probi] * yes_vec[probi][i];
+					if (probi != ignoredWeight && yes_vec[probi]!=NULL) {
+						val_yes += weights[probi] * yes_vec[probi][i];
+					}
 				}
 				
 				//TODO: we need to handle val_yes somehow