1.1 --- a/src/HOL/TPTP/atp_theory_export.ML	Tue Aug 07 13:03:50 2012 +0200
     1.2 +++ b/src/HOL/TPTP/atp_theory_export.ML	Tue Aug 07 14:29:18 2012 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4    in
     1.5      TimeLimit.timeLimit (seconds 0.3) Isabelle_System.bash_output command
     1.6      |> fst
     1.7 -    |> extract_tstplike_proof_and_outcome false true proof_delims known_failures
     1.8 +    |> extract_tstplike_proof_and_outcome false proof_delims known_failures
     1.9      |> snd
    1.10    end
    1.11    handle TimeLimit.TimeOut => SOME TimedOut