Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/code.ML
changeset 60948 b710a5087116
parent 60805 4cc49ead6e75
child 60949 ccbf9379e355 
--- 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)
isabelle