--- 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