src/Pure/more_thm.ML

--- a/src/Pure/more_thm.ML	Sun Aug 16 17:11:31 2015 +0200
+++ b/src/Pure/more_thm.ML	Sun Aug 16 18:19:30 2015 +0200
@@ -195,7 +195,7 @@
 fun eq_thm_strict ths =
   eq_thm ths andalso
     let val (rep1, rep2) = apply2 Thm.rep_thm ths in
-      Theory.eq_thy (#thy rep1, #thy rep2) andalso
+      Context.eq_thy (#thy rep1, #thy rep2) andalso
       #maxidx rep1 = #maxidx rep2 andalso
       #tags rep1 = #tags rep2
     end;