diff --git a/prism/src/hybrid/PH_ProbReachReward.cc b/prism/src/hybrid/PH_ProbReachReward.cc
index 1c4ae688..c0a5a233 100644
--- a/prism/src/hybrid/PH_ProbReachReward.cc
+++ b/prism/src/hybrid/PH_ProbReachReward.cc
@@ -140,13 +140,13 @@ jint m			// 'maybe' states
 		inf_vec = mtbdd_to_double_vector(ddman, inf, rvars, num_rvars, odd);
 		// go thru setting elements of soln to infinity
 		for (i = 0; i < n; i++) if (inf_vec[i] > 0) soln[i] = HUGE_VAL;
+		free(inf_vec);
 	}
 	
 	// free remaining memory
 	Cudd_RecursiveDeref(ddman, a);
 	Cudd_RecursiveDeref(ddman, state_rewards);
 	Cudd_RecursiveDeref(ddman, trans_rewards);
-	free(inf_vec);
 	
 	return (int)soln;
 }