no need for tracing

--- a/src/HOL/TPTP/mash_eval.ML	Mon Dec 17 22:09:48 2012 +0100
+++ b/src/HOL/TPTP/mash_eval.ML	Tue Dec 18 00:17:37 2012 +0100
@@ -37,7 +37,7 @@
   let
     val report_path = report_file_name |> Path.explode
     val _ = File.write report_path ""
-    fun print s = (tracing s; File.append report_path (s ^ "\n"))
+    fun print s = File.append report_path (s ^ "\n")
     val {provers, max_facts, slice, type_enc, lam_trans, timeout, ...} =
       default_params ctxt []
     val prover = hd provers