From db4bf6eab646882b441477eee1ab396506e436c6 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 5 Mar 2008 00:46:41 +0000 Subject: [PATCH] Typo in dice. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@588 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/dice/dice.pm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/dice/dice.pm b/prism-examples/dice/dice.pm index 699c4662..2e2f3c10 100644 --- a/prism-examples/dice/dice.pm +++ b/prism-examples/dice/dice.pm @@ -11,7 +11,7 @@ module die [] s=1 -> 0.5 : (s'=3) + 0.5 : (s'=4); [] s=2 -> 0.5 : (s'=5) + 0.5 : (s'=6); [] s=3 -> 0.5 : (s'=1) + 0.5 : (s'=7) & (d'=1); - [] s=4 -> 0.5 : (s'=7) & (d'=2) + 0.5 : s'=7 & (d'=3); + [] s=4 -> 0.5 : (s'=7) & (d'=2) + 0.5 : (s'=7) & (d'=3); [] s=5 -> 0.5 : (s'=7) & (d'=4) + 0.5 : (s'=7) & (d'=5); [] s=6 -> 0.5 : (s'=2) + 0.5 : (s'=7) & (d'=6); [] s=7 -> (s'=7);