From 367d7e38eed90e4d7c6820559fd99f978cc89cff Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 30 May 2010 20:49:35 +0000 Subject: [PATCH] Out of date file in phil-original. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1921 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/phil/original/.autopp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/phil/original/.autopp b/prism-examples/phil/original/.autopp index 3efd0d22..03624ef0 100755 --- a/prism-examples/phil/original/.autopp +++ b/prism-examples/phil/original/.autopp @@ -1,6 +1,6 @@ #!/bin/csh -foreach N ( 3 4 5 6 7 8 9 10 15 25 30 ) +foreach N ( 3 4 5 6 7 8 9 10 15 20 25 30 ) echo "Generating for N=$N" prismpp .philN.nm.pp $N >! phil"$N".nm unix2dos phil"$N".nm