From 8c8facf6efa1567bd1ead8c1f59bde8ee3b998d5 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 28 Apr 2008 13:07:27 +0000
Subject: [PATCH] Typos.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@775 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism-examples/dice/dice.pm     | 2 +-
 prism-examples/dice/two_dice.nm | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism-examples/dice/dice.pm b/prism-examples/dice/dice.pm
index 2e2f3c10..c0d80eae 100644
--- a/prism-examples/dice/dice.pm
+++ b/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);
diff --git a/prism-examples/dice/two_dice.nm b/prism-examples/dice/two_dice.nm
index 2eef9c47..4fd21d06 100644
--- a/prism-examples/dice/two_dice.nm
+++ b/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);