--- a/src/HOL/TPTP/MaSh_Eval.thy Sat Dec 08 00:48:50 2012 +0100
+++ b/src/HOL/TPTP/MaSh_Eval.thy Sat Dec 08 00:48:50 2012 +0100
@@ -28,6 +28,7 @@
ML {*
if do_it then
evaluate_mash_suggestions @{context} params "/tmp/mash_suggestions"
+ "/tmp/mash_eval.out"
else
()
*}