diff -r d5f7b424ba47 -r b710a5087116 src/Pure/Isar/code.ML
--- a/src/Pure/Isar/code.ML	Sun Aug 16 17:11:31 2015 +0200
+++ b/src/Pure/Isar/code.ML	Sun Aug 16 18:19:30 2015 +0200
@@ -339,7 +339,7 @@
     val dataref = (snd o Code_Data.get) theory;
     val (datatab, thy) = case Synchronized.value dataref
      of SOME (datatab, thy) =>
-        if Theory.eq_thy (theory, thy)
+        if Context.eq_thy (theory, thy)
           then (datatab, thy)
           else (Datatab.empty, theory)
       | NONE => (Datatab.empty, theory)