trap one more Z3 error
authorblanchet
Fri Dec 17 09:56:04 2010 +0100 (2010-12-17 ago)
changeset 41236def0a3013554
parent 41222 f9783376d9b1
child 41237 8b6f3917bc76
trap one more Z3 error
src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML
     1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Fri Dec 17 00:27:40 2010 +0100
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Fri Dec 17 09:56:04 2010 +0100
     1.3 @@ -442,7 +442,8 @@
     1.4     (12, InternalError),
     1.5     (13, InternalError)]
     1.6  val z3_failures =
     1.7 -  [(103, MalformedInput),
     1.8 +  [(101, OutOfResources),
     1.9 +   (103, MalformedInput),
    1.10     (110, MalformedInput)]
    1.11  val unix_failures =
    1.12    [(139, Crashed)]