# HG changeset patch
# User blanchet
# Date 1304267844 -7200
# Node ID 791d7153c48d8b195d945ee724de5a8a18875a11
# Parent  3d9930cb677021a04f31c0195298e0845ff061e6
better known failure recognition for ToFoF-E

diff -r 3d9930cb6770 -r 791d7153c48d src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Sun May 01 18:37:24 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Sun May 01 18:37:24 2011 +0200
@@ -341,7 +341,8 @@
 val remote_vampire = remotify_atp vampire "Vampire" ["0.6", "9.0", "1.0"]
 val remote_z3_atp = remotify_atp z3_atp "Z3" ["2.18"]
 val remote_tofof_e =
-  remote_atp tofof_eN "ToFoF" ["0.1"] [] [] (K 200 (* FUDGE *)) true
+  remote_atp tofof_eN "ToFoF" ["0.1"] [] (#known_failures e_config)
+             (K 200 (* FUDGE *)) true
 val remote_sine_e =
   remote_atp sine_eN "SInE" ["0.4"] [] [(IncompleteUnprovable, "says Unknown")]
              (K 500 (* FUDGE *)) true