diff --git a/prism-examples/dice/auto b/prism-examples/dice/auto
index f52ebba6..f2aa8468 100755
--- a/prism-examples/dice/auto
+++ b/prism-examples/dice/auto
@@ -1,6 +1,6 @@
 #!/bin/csh
 
-prism dice.pm dice.pctl
+prism dice.pm dice.pctl -const x=3 
 
 prism two_dice.nm two_dice.pctl -prop 1 -const x=2:12
 prism two_dice.nm two_dice.pctl -prop 2 -const x=2:12
diff --git a/prism-examples/dice/dice.pctl b/prism-examples/dice/dice.pctl
index 8c5d7319..91cc022b 100644
--- a/prism-examples/dice/dice.pctl
+++ b/prism-examples/dice/dice.pctl
@@ -1,8 +1,11 @@
-const int x = 6;
+const int x;
 
 // Is probability of throwing x > 0.1?
 "init" => P>0.1 [ true U s=7 & d=x ]
 
+// Probability of throwing 6?
+P=? [ true U s=7 & d=6 ]
+
 // Probability of throwing x?
 P=? [ true U s=7 & d=x ]