# HG changeset patch
# User blanchet
# Date 1292851069 -3600
# Node ID fc48faccd77b036dbb510bb7b0e9a4bf0380152e
# Parent  558afd8b94d67c930fce8637789e1457261c9f4a
disable feature that was enabled by mistake

diff -r 558afd8b94d6 -r fc48faccd77b src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Mon Dec 20 14:10:40 2010 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon Dec 20 14:17:49 2010 +0100
@@ -99,7 +99,7 @@
 val tstp_proof_delims =
   ("# SZS output start CNFRefutation.", "# SZS output end CNFRefutation")
 
-val e_generate_weights = Unsynchronized.ref true
+val e_generate_weights = Unsynchronized.ref false
 val e_weight_factor = Unsynchronized.ref 60.0
 val e_default_weight = Unsynchronized.ref 0.5