src/Pure/more_thm.ML

--- a/src/Pure/more_thm.ML	Mon Apr 10 16:43:12 2017 +0200
+++ b/src/Pure/more_thm.ML	Mon Apr 10 21:05:31 2017 +0200
@@ -216,7 +216,7 @@
 
 fun eq_thm_strict ths =
   eq_thm ths andalso
-  Context.eq_thy_id (apply2 Thm.theory_id_of_thm ths) andalso
+  Context.eq_thy_id (apply2 Thm.theory_id ths) andalso
   op = (apply2 Thm.maxidx_of ths) andalso
   op = (apply2 Thm.get_tags ths);