From fa364103127162af6656950c56be2e8953010d25 Mon Sep 17 00:00:00 2001
From: Mike Haertel
Date: Tue, 21 Mar 2023 08:35:13 -0700
Subject: Messy spin snapshot with bug demo

---
 spin/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'spin/Makefile')

diff --git a/spin/Makefile b/spin/Makefile
index 73669f9..cb862cf 100644
--- a/spin/Makefile
+++ b/spin/Makefile
@@ -5,7 +5,7 @@ clean:
 
 %.pml.trail: %.pml
 	@rm -f $@
-	spin -search -bitstate -l $< | egrep '^(pan|spin):'
+	spin -search -bit $< | egrep '^(pan|spin):'
 	[ ! -e $@ ] || spin -c -g -l -p -replay $<
 
 .SECONDARY:
-- 
cgit v1.2.3