Typos.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@775 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism-examples/dice/dice.pm

@@ -4,7 +4,7 @@ module die
 
 	// local state
 	s : [0..7] init 0;
-	// value of the dice
+	// value of the die
 	d : [0..6] init 0;
 	
 	[] s=0 -> 0.5 : (s'=1) + 0.5 : (s'=2);

prism-examples/dice/two_dice.nm

@@ -4,7 +4,7 @@ module die1
 
 	// local state
 	s1 : [0..7] init 0;
-	// value of the dice
+	// value of the die
 	d1 : [0..6] init 0;
 	
 	[] s1=0 -> 0.5 : (s1'=1) + 0.5 : (s1'=2);