From 5eaac48fde6acbf4f231ab559042ca282bdb0ea6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 4 Dec 2008 15:30:33 +0000
Subject: [PATCH] Bug fix (crash on reach reward non-convergence).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@843 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/sparse/PS_ProbReachReward.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/sparse/PS_ProbReachReward.cc b/prism/src/sparse/PS_ProbReachReward.cc
index a0ce01e8..66a6d357 100644
--- a/prism/src/sparse/PS_ProbReachReward.cc
+++ b/prism/src/sparse/PS_ProbReachReward.cc
@@ -71,7 +71,7 @@ jlong __jlongpointer m	// 'maybe' states
 	// model stats
 	int n;
 	// vectors
-	double *soln, *inf_vec;
+	double *soln, *inf_vec = NULL;
 	// misc
 	int i;
 	
@@ -143,7 +143,7 @@ jlong __jlongpointer m	// 'maybe' states
 	Cudd_RecursiveDeref(ddman, a);
 	Cudd_RecursiveDeref(ddman, state_rewards);
 	Cudd_RecursiveDeref(ddman, trans_rewards);
-	free(inf_vec);
+	if (inf_vec != NULL) free(inf_vec);
 	
 	return ptr_to_jlong(soln);
 }