src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

       (output, 0) => split_lines output
     | (output, _) =>
       (warning
          (case extract_known_atp_failure known_perl_failures output of
            SOME failure => string_of_atp_failure failure
-         | NONE => trim_line output); []))) ()
+         | NONE => output); []))) ()
   handle Timeout.TIMEOUT _ => []
 
 fun find_remote_system name [] systems =
     find_first (String.isPrefix (name ^ "---")) systems
   | find_remote_system name (version :: versions) systems =