--- a/src/HOL/Tools/res_reconstruct.ML Wed May 23 07:00:18 2007 +0200
+++ b/src/HOL/Tools/res_reconstruct.ML Wed May 23 14:52:12 2007 +0200
@@ -470,7 +470,7 @@
val restore_newlines = String.translate (fn c => if c = #"\t" then "\n" else str c);
fun signal_success probfile toParent ppid msg =
- (trace ("\nReporting Success for" ^ probfile ^ "\n" ^ msg);
+ (trace ("\nReporting Success for " ^ probfile ^ "\n" ^ msg);
TextIO.output (toParent, "Success. " ^ encode_newlines msg ^ "\n");
TextIO.output (toParent, probfile ^ "\n");
TextIO.flushOut toParent;