Revert to using clean

diff --git a/tests/sat/initval.ys b/tests/sat/initval.ys
index 3d88aa971dcecba1514a623a31e010ff04baa3dc..2079d2f34e13971cd336cb50372e14baace6b9e9 100644 (file)
--- a/tests/sat/initval.ys
+++ b/tests/sat/initval.ys
@@ -1,4 +1,4 @@
 read_verilog -sv initval.v
-proc;
+proc;;
 
 sat -seq 10 -prove-asserts