src/HOL/Tools/ATP/atp_systems.ML

            "\"$ISABELLE_ATP/scripts/remote_atp\" -w 2>&1" of
     (output, 0) => split_lines output
   | (output, _) =>
     error (case extract_known_failure known_perl_failures output of
              SOME failure => string_for_failure failure
-           | NONE => perhaps (try (unsuffix "\n")) output ^ ".")
+           | NONE => trim_line output ^ ".")
 
 fun find_system name [] systems =
     find_first (String.isPrefix (name ^ "---")) systems
   | find_system name (version :: versions) systems =
     case find_first (String.isPrefix (name ^ "---" ^ version)) systems of