# HG changeset patch
# User aspinall
# Date 1195147913 -3600
# Node ID aa25d4d59383aefd468a9893ff30b034653d848b
# Parent  5ac4ba2a2fdbfcf044e04b8b969fafa444077f23
Add thm_dep preference to menu, inadvertently missed off

diff -r 5ac4ba2a2fdb -r aa25d4d59383 src/Pure/ProofGeneral/preferences.ML
--- a/src/Pure/ProofGeneral/preferences.ML	Thu Nov 15 15:05:03 2007 +0100
+++ b/src/Pure/ProofGeneral/preferences.ML	Thu Nov 15 18:31:53 2007 +0100
@@ -146,7 +146,8 @@
                 "Whether to enable quickcheck automatically.",
      nat_pref Codegen.auto_quickcheck_time_limit
                 "auto-quickcheck-time-limit"
-                "Time limit for automatic quickcheck (in milliseconds)."]
+                "Time limit for automatic quickcheck (in milliseconds).",
+     thm_deps_pref]
 
 val proof_preferences =
     [bool_pref quick_and_dirty