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/Sledgehammer/sledgehammer_provers.ML
changeset 41236 def0a3013554
parent 41222 f9783376d9b1
child 41239 d6e804ff29c3 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Fri Dec 17 00:27:40 2010 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Fri Dec 17 09:56:04 2010 +0100
@@ -442,7 +442,8 @@
    (12, InternalError),
    (13, InternalError)]
 val z3_failures =
-  [(103, MalformedInput),
+  [(101, OutOfResources),
+   (103, MalformedInput),
    (110, MalformedInput)]
 val unix_failures =
   [(139, Crashed)]
isabelle