# HG changeset patch
# User blanchet
# Date 1357116177 -3600
# Node ID e0cba889369165de8b09caf8509237b51ce010d0
# Parent  6f48853f08d5d75c6bfa071724f4d57744058e7d
added 112 to list of known Z3 error codes

diff -r 6f48853f08d5 -r e0cba8893691 src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Wed Jan 02 09:31:25 2013 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Wed Jan 02 09:42:57 2013 +0100
@@ -939,7 +939,8 @@
 val z3_failures =
   [(101, OutOfResources),
    (103, MalformedInput),
-   (110, MalformedInput)]
+   (110, MalformedInput),
+   (112, TimedOut)]
 val unix_failures =
   [(138, Crashed),
    (139, Crashed)]