# HG changeset patch
# User blanchet
# Date 1272484848 -7200
# Node ID 2c042d86c7116a7641115785d99b785fef4f8fdc
# Parent  cc42df660808e6f41d82a6c6622e872b06962361
back to Vampire 9 -- Vampire 11 sometimes outputs really weird proofs

diff -r cc42df660808 -r 2c042d86c711 src/HOL/Tools/ATP_Manager/atp_systems.ML
--- a/src/HOL/Tools/ATP_Manager/atp_systems.ML	Wed Apr 28 21:59:29 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML	Wed Apr 28 22:00:48 2010 +0200
@@ -396,7 +396,7 @@
 
 val remote_vampire =
   tptp_prover (remotify (fst vampire))
-              (remote_prover_config "Vampire---11" "" vampire_config)
+              (remote_prover_config "Vampire---9" "" vampire_config)
 
 val remote_e =
   tptp_prover (remotify (fst e))