src/HOL/Tools/ATP/recon_transfer_proof.ML
changeset 18797 8559cc115673
parent 18700 f04a8755d6ca
child 19046 bc5c6c9b114e
--- a/src/HOL/Tools/ATP/recon_transfer_proof.ML	Fri Jan 27 18:28:55 2006 +0100
+++ b/src/HOL/Tools/ATP/recon_transfer_proof.ML	Fri Jan 27 18:29:11 2006 +0100
@@ -268,7 +268,7 @@
 (*The signal handler in watcher.ML must be able to read the output of this.*)
 fun prover_lemma_list_aux getax proofstr probfile toParent ppid clause_arr = 
  let val _ = trace
-               ("\nGetting lemma names. proofstr is " ^ proofstr ^
+               ("\n\nGetting lemma names. proofstr is " ^ proofstr ^
                 "\nprobfile is " ^ probfile ^
                 "  num of clauses is " ^ string_of_int (Array.length clause_arr))
      val axiom_names = getax proofstr clause_arr