hash table comment fix.

[urcu.git] / formal-model / urcu-paulmck / urcu.sh

diff --git a/formal-model/urcu-paulmck/urcu.sh b/formal-model/urcu-paulmck/urcu.sh
index 8ef0e871f2cd8ef4cc3b9de59bfc334a1870ea02..0c5e492ad9da008e812beeae5d915a9cdb5f65d6 100644 (file)
--- a/formal-model/urcu-paulmck/urcu.sh
+++ b/formal-model/urcu-paulmck/urcu.sh
@@ -1,3 +1,3 @@
 spin -a urcu-paulmck.spin 
-cc -DSAFETY -o pan pan.c
-./pan
+cc -DNP -o pan pan.c
+./pan -f -l