changeset 17746 | af59c748371d |
parent 17718 | 9dab1e491d10 |
child 17772 | 818cec5f82a4 |
--- a/src/HOL/Tools/ATP/AtpCommunication.ML Tue Oct 04 09:58:38 2005 +0200 +++ b/src/HOL/Tools/ATP/AtpCommunication.ML Tue Oct 04 09:59:01 2005 +0200 @@ -89,7 +89,7 @@ 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));