auto bug fix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@866 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism-examples/csma/auto

@@ -1,12 +1,12 @@
 #!/bin/csh
 
-prism csma2_2.nm csma2.pctl
-prism csma2_3.nm csma2.pctl
-prism csma2_4.nm csma2.pctl
-prism csma4_2.nm csma4.pctl
-prism csma4_3.nm csma4.pctl
-prism csma4_4.nm csma4.pctl
-prism csma6_2.nm csma6.pctl
-prism csma6_3.nm csma6.pctl
-prism csma6_4.nm csma6.pctl
+prism csma2_2.nm csma2.pctl -s
+prism csma2_3.nm csma2.pctl -s
+prism csma2_4.nm csma2.pctl -s
+prism csma4_2.nm csma4.pctl -s
+prism csma4_3.nm csma4.pctl -s
+prism csma4_4.nm csma4.pctl -s
+prism csma6_2.nm csma6.pctl -s
+prism csma6_3.nm csma6.pctl -s
+prism csma6_4.nm csma6.pctl -s