From ee3fca5642e482053353082fc85555782e306349 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 20 Mar 2006 09:59:50 +0000
Subject: [PATCH] Bugfix: simulator doesn't recompute state rewards when
 backtracking/restarting.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@28 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/simpath.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/simulator/simpath.cc b/prism/src/simulator/simpath.cc
index 16989e7e..4ba84498 100644
--- a/prism/src/simulator/simpath.cc
+++ b/prism/src/simulator/simpath.cc
@@ -405,6 +405,8 @@ void Backtrack(int step)
 	
 	Recalculate_Path_Formulae();
 	
+	Calculate_State_Reward(state_variables);
+	
 	Calculate_Updates(state_variables);
 	
 	loop_detection->Backtrack(step);