From 4525eb0d70e6a7b770d18c06d9fda86a54b23428 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 13 Jan 2013 09:34:27 +0000 Subject: [PATCH] Comment in dice model. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6317 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/dice/two_dice_knuth.pm | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prism-examples/dice/two_dice_knuth.pm b/prism-examples/dice/two_dice_knuth.pm index 9591bb9d..a3e44855 100644 --- a/prism-examples/dice/two_dice_knuth.pm +++ b/prism-examples/dice/two_dice_knuth.pm @@ -1,3 +1,5 @@ +// optimal program for the sum of two dice + dtmc module sum_of_two_dice