From fb7b910f5190f24969b4649ac5271842011be68e Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 6 Mar 2013 17:21:18 +0100
Subject: [PATCH] Reverted PRISM example to original reward formulation,
 because we can now deal with transition rewards on MDPs.

---
 examples/mdp/two_dice/two_dice.nm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/mdp/two_dice/two_dice.nm b/examples/mdp/two_dice/two_dice.nm
index ec4f87531..e1bf34aea 100644
--- a/examples/mdp/two_dice/two_dice.nm
+++ b/examples/mdp/two_dice/two_dice.nm
@@ -23,7 +23,7 @@ endmodule
 module die2 = die1 [ s1=s2, s2=s1, d1=d2 ] endmodule
 
 rewards "coinflips"
-	s1<7 | s2<7 : 1;
+	[] s1<7 | s2<7 : 1;
 endrewards
 
 label "done" = s1=7 & s2=7;