CSMA auto file bug fix.

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

prism-examples/wlan/auto

@@ -1,12 +1,12 @@
 #!/bin/csh
 
-prism wlan0.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2
-prism wlan1.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2
-prism wlan2.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2
-prism wlan3.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2
-#prism wlan4.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2
-#prism wlan5.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2
-#prism wlan6.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2
+prism wlan0.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m
+prism wlan1.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m
+prism wlan2.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m
+prism wlan3.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m
+#prism wlan4.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m
+#prism wlan5.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m
+#prism wlan6.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m
 
 
 # probability collide