typo

jessealama · Nov 18, 2011 · d3b9035 · d3b9035
1 parent d58c980
commit d3b9035
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/reprove-semantically-summarize.sh b/reprove-semantically-summarize.sh
@@ -102,7 +102,7 @@ eprover_provable=0;
 grep --silent 'Refutation found' "$vampire_proof" > /dev/null 2>&1;
 
 if [ $? -eq "0" ]; then
-    vapire_provable=1;
+    vampire_provable=1;
 fi
 
 grep --silent 'end of proof' "$prover9_proof" > /dev/null 2>&1;