src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML
changeset 59019 0c58b5cf989a
parent 58843 521cea5fa777
child 60201 90e88e521e0e
     1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML	Thu Nov 20 17:29:18 2014 +0100
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML	Thu Nov 20 17:29:18 2014 +0100
     1.3 @@ -49,7 +49,8 @@
     1.4     (110, MalformedInput),
     1.5     (112, TimedOut)]
     1.6  val unix_failures =
     1.7 -  [(138, Crashed),
     1.8 +  [(134, Crashed),
     1.9 +   (138, Crashed),
    1.10     (139, Crashed)]
    1.11  val smt_failures = z3_failures @ unix_failures
    1.12