x

iudx · Jan 19, 2020 · dd944e2 · dd944e2
1 parent d5e4a5e
commit dd944e2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/formal-proof/run.sh b/formal-proof/run.sh
@@ -1,6 +1,8 @@
+#!/bin/sh
+
 cat header > input
 
-cat ../https.js | grep prover9: | cut -f2- -d':' >> input
+grep prover9: ../https.js | cut -f2- -d':' >> input
 
 echo end_of_list. >> input
 echo  >> input