src/Pure/System/process_result.scala

--- a/src/Pure/System/process_result.scala	Thu Feb 25 00:06:37 2016 +0100
+++ b/src/Pure/System/process_result.scala	Thu Feb 25 00:18:48 2016 +0100
@@ -28,12 +28,10 @@
     else if (interrupted) throw Exn.Interrupt()
     else Library.error(err)
 
-  def clear: Process_Result = copy(out_lines = Nil, err_lines = Nil)
-
   def print: Process_Result =
   {
     Output.warning(Library.trim_line(err))
     Output.writeln(Library.trim_line(out))
-    clear
+    copy(out_lines = Nil, err_lines = Nil)
   }
 }