no need for tracing
authorblanchet
Tue Dec 18 00:17:37 2012 +0100 (2012-12-18)
changeset 5058942f3630a6a0f
parent 50588 074e937459b6
child 50590 9d2f223ab6d9
no need for tracing
src/HOL/TPTP/mash_eval.ML
     1.1 --- a/src/HOL/TPTP/mash_eval.ML	Mon Dec 17 22:09:48 2012 +0100
     1.2 +++ b/src/HOL/TPTP/mash_eval.ML	Tue Dec 18 00:17:37 2012 +0100
     1.3 @@ -37,7 +37,7 @@
     1.4    let
     1.5      val report_path = report_file_name |> Path.explode
     1.6      val _ = File.write report_path ""
     1.7 -    fun print s = (tracing s; File.append report_path (s ^ "\n"))
     1.8 +    fun print s = File.append report_path (s ^ "\n")
     1.9      val {provers, max_facts, slice, type_enc, lam_trans, timeout, ...} =
    1.10        default_params ctxt []
    1.11      val prover = hd provers