diff --git a/prism-examples/cluster/auto b/prism-examples/cluster/auto
index bb6ea925..3acf146c 100755
--- a/prism-examples/cluster/auto
+++ b/prism-examples/cluster/auto
@@ -1,5 +1,5 @@
 #!/bin/csh
 
 foreach N (4 8 16 32) #64 128 256 512)
-	prism cluster.sm cluster.csl -const N=$N,T=10 -prop 1 -jor
+	prism cluster.sm cluster.csl -const N=$N,T=10 -jor
 end