check.sh: Remove the tlc -cleanup option
This doesn't seem to work in the latest TLA+ tools if the states
directory is not present.
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
diff --git a/check.sh b/check.sh
index 4c46c11..abb3029 100755
--- a/check.sh
+++ b/check.sh
@@ -22,4 +22,4 @@
# Split << pc, stack >> out of the default vars and generate proc_vars
sed -i -e "/^vars\s*==/,/>>/{s/\<vars\>/proc_vars/;s/\<pc,\s*\|\<stack,\s*//g;s/>>/>>\n\nvars == << proc_vars, pc, stack >>/}" $SPEC.tla
-tlc -workers $(nproc) -cleanup $@ $SPEC.tla | tee -a $SPEC.log
+tlc -workers $(nproc) $@ $SPEC.tla | tee -a $SPEC.log
