--- a/src/HOL/Tools/ATP_Manager/atp_systems.ML Wed Apr 28 17:47:30 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML Wed Apr 28 17:56:07 2010 +0200
@@ -70,8 +70,10 @@
case pairself (find_first (fn s => String.isSubstring s output))
(ListPair.unzip delims) of
(SOME begin_delim, SOME end_delim) =>
- output |> first_field begin_delim |> the |> snd
- |> first_field end_delim |> the |> fst
+ (output |> first_field begin_delim |> the |> snd
+ |> first_field end_delim |> the |> fst
+ |> first_field "\n" |> the |> snd
+ handle Option.Option => "")
| _ => ""
fun extract_proof_and_outcome res_code proof_delims known_failures output =