src/HOL/Tools/ATP/AtpCommunication.ML

      transferInput "";  true
  end handle EOF => false
 
 fun signal_parent (toParent, ppid, msg, goalstring) =
  (TextIO.output (toParent, msg);
-  TextIO.output (toParent, goalstring^"\n");
+  TextIO.output (toParent, goalstring);
   TextIO.flushOut toParent;
   trace ("\nSignalled parent: " ^ msg);
   Posix.Process.kill(Posix.Process.K_PROC ppid, Posix.Signal.usr2));
 
 (*Called from watcher. Returns true if the Vampire process has returned a verdict.*)