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/Tools/Code/code_thingol.ML
changeset 77889 5db014c36f42
parent 77707 a6a81f848135
child 77921 5016262a2384 
--- a/src/Tools/Code/code_thingol.ML	Wed Apr 19 23:27:55 2023 +0200
+++ b/src/Tools/Code/code_thingol.ML	Thu Apr 20 11:57:34 2023 +0200
@@ -1009,7 +1009,7 @@
   let
     val thy = Proof_Context.theory_of ctxt;
     fun this_theory name =
-      if Context.theory_name thy = name then thy
+      if Context.theory_base_name thy = name then thy
       else Context.get_theory {long = false} thy name;
 
     fun consts_of thy' =
isabelle