# HG changeset patch
# User blanchet
# Date 1282578829 -7200
# Node ID 634a6d400c2e8e1ce606428e2c7e8d5e3144d339
# Parent  2cfd0777580f7534988d9b29784e901e65f6a656
revert unintended change

diff -r 2cfd0777580f -r 634a6d400c2e src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Mon Aug 23 17:49:18 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon Aug 23 17:53:49 2010 +0200
@@ -208,7 +208,7 @@
    default_max_relevant_per_iter = 45 (* FUDGE *),
    default_theory_relevant = false,
    explicit_forall = false,
-   use_conjecture_for_hypotheses = false} (*###*)
+   use_conjecture_for_hypotheses = true}
 
 val vampire = ("vampire", vampire_config)