From 89ecb4ad70b0c05907c389da521a204b036e6649 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 5 Dec 2008 15:19:32 +0000 Subject: [PATCH] Typos. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@864 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/zeroconf/zeroconf.nm | 2 +- prism-examples/zeroconf/zeroconf_time_bounded.nm | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism-examples/zeroconf/zeroconf.nm b/prism-examples/zeroconf/zeroconf.nm index 123d8c4d..38bd391a 100644 --- 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 diff --git a/prism-examples/zeroconf/zeroconf_time_bounded.nm b/prism-examples/zeroconf/zeroconf_time_bounded.nm index 70c3c528..5557b9f2 100644 --- 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