# HG changeset patch
# User wenzelm
# Date 1478542050 -3600
# Node ID 85bb70e1260b683b6d29d2f2130e05d6e4ab13fd
# Parent  488d4e6272380ab025e78cf4201edae1066a5d86
unused since 15865e0c5598;

diff -r 488d4e627238 -r 85bb70e1260b src/Pure/theory.ML
--- a/src/Pure/theory.ML	Mon Nov 07 14:55:39 2016 +0100
+++ b/src/Pure/theory.ML	Mon Nov 07 19:07:30 2016 +0100
@@ -220,9 +220,6 @@
 
 fun dependencies (context as (ctxt, _)) unchecked def description lhs rhs =
   let
-    val thy = Proof_Context.theory_of ctxt;
-    val consts = Sign.consts_of thy;
-
     fun prep (item, args) =
       (case fold Term.add_tvarsT args [] of
         [] => (item, map Logic.varifyT_global args)