Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/atp_systems.ML
changeset 47499 4b0daca2bf88
parent 47149 97f8c6c88134
child 47505 e33d957ae2bf 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Mon Apr 16 21:53:11 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon Apr 16 23:07:40 2012 +0200
@@ -542,7 +542,7 @@
   | (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
isabelle