Typos.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@864 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 89ecb4ad70
2 changed files with 2 additions and 2 deletions
--- a/prism-examples/zeroconf/zeroconf.nm
+++ b/prism-examples/zeroconf/zeroconf.nm
@ -48,7 +48,7 @@ const bool reset;

 //-------------------------------------------------------------
 // model is an mdp
-nondeterministic
+mdp

 //-------------------------------------------------------------
 // VARIABLES
--- a/prism-examples/zeroconf/zeroconf_time_bounded.nm
+++ b/prism-examples/zeroconf/zeroconf_time_bounded.nm
@ -48,7 +48,7 @@ const bool reset;

 //-------------------------------------------------------------
 // model is an mdp
-nondeterministic
+mdp

 //-------------------------------------------------------------
 // VARIABLES