src/Pure/System/isabelle_system.ML

--- a/src/Pure/System/isabelle_system.ML	Mon Feb 22 15:20:45 2021 +0100
+++ b/src/Pure/System/isabelle_system.ML	Mon Feb 22 15:24:04 2021 +0100
@@ -51,20 +51,20 @@
 
 fun bash_output_check s =
   let val res = bash_process s in
-    if Process_Result.ok res then trim_line (Process_Result.out res)
-    else error (trim_line (Process_Result.err res))
+    if Process_Result.ok res then Process_Result.out res
+    else error (Process_Result.err res)
   end;
 
 fun bash_output s =
   let
     val res = bash_process s;
-    val _ = warning (trim_line (Process_Result.err res));
+    val _ = warning (Process_Result.err res);
   in (Process_Result.out res, Process_Result.rc res) end;
 
 fun bash s =
   let
     val (out, rc) = bash_output s;
-    val _ = writeln (trim_line out);
+    val _ = writeln out;
   in rc end;