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/TPTP/atp_theory_export.ML
changeset 48716 1d2a12bb0640
parent 48530 d443166f9520
child 50442 4f6a4d32522c 
--- a/src/HOL/TPTP/atp_theory_export.ML	Tue Aug 07 13:03:50 2012 +0200
+++ b/src/HOL/TPTP/atp_theory_export.ML	Tue Aug 07 14:29:18 2012 +0200
@@ -74,7 +74,7 @@
   in
     TimeLimit.timeLimit (seconds 0.3) Isabelle_System.bash_output command
     |> fst
-    |> extract_tstplike_proof_and_outcome false true proof_delims known_failures
+    |> extract_tstplike_proof_and_outcome false proof_delims known_failures
     |> snd
   end
   handle TimeLimit.TimeOut => SOME TimedOut
isabelle