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_proof.ML
changeset 48700 d06138bfeb45
parent 48539 0debf65972c7
child 48716 1d2a12bb0640 
--- a/src/HOL/Tools/ATP/atp_proof.ML	Mon Aug 06 22:12:17 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_proof.ML	Mon Aug 06 22:12:17 2012 +0200
@@ -186,7 +186,7 @@
                                        known_failures output =
   case (extract_tstplike_proof proof_delims output,
         extract_known_failure known_failures output) of
-    (_, SOME ProofIncomplete) => ("", SOME ProofIncomplete)
+    (_, SOME ProofIncomplete) => ("", NONE)
   | ("", SOME ProofMissing) => ("", NONE)
   | ("", SOME failure) =>
     ("", SOME (if failure = GaveUp andalso complete then Unprovable
isabelle