From 7be60e69236d6c171fca5dec159544cd8989bd9b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 22 Dec 2008 12:58:59 +0000 Subject: [PATCH] auto file tweak. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@905 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/csma/auto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/csma/auto b/prism-examples/csma/auto index 119969ac..780cce20 100755 --- a/prism-examples/csma/auto +++ b/prism-examples/csma/auto @@ -5,7 +5,7 @@ prism csma2_4.nm csma.pctl -const k=1 -s prism csma2_6.nm csma.pctl -const k=1 -s prism csma3_2.nm csma.pctl -const k=1 -s prism csma3_4.nm csma.pctl -const k=1 -s -prism csma3_6.nm csma.pctl -const k=1 -s +#prism csma3_6.nm csma.pctl -const k=1 -s prism csma4_2.nm csma.pctl -const k=1 -s #prism csma4_4.nm csma.pctl -const k=1 -s #prism csma4_6.nm csma.pctl -const k=1 -s