# HG changeset patch
# User blanchet
# Date 1416500958 -3600
# Node ID 0c58b5cf989a1529adc75c926099aacfe5796497
# Parent  ec8ea2465d2aabfd259dbc2bfcf33819f90781c9
other way of crashing (with CVC4)

diff -r ec8ea2465d2a -r 0c58b5cf989a src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML	Thu Nov 20 17:29:18 2014 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML	Thu Nov 20 17:29:18 2014 +0100
@@ -49,7 +49,8 @@
    (110, MalformedInput),
    (112, TimedOut)]
 val unix_failures =
-  [(138, Crashed),
+  [(134, Crashed),
+   (138, Crashed),
    (139, Crashed)]
 val smt_failures = z3_failures @ unix_failures