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_namespace.ML
changeset 75353 05f7f5454cb6
parent 67521 6a27e86cc2e7 
--- a/src/Tools/Code/code_namespace.ML	Sun Mar 27 19:27:50 2022 +0000
+++ b/src/Tools/Code/code_namespace.ML	Sun Mar 27 19:27:52 2022 +0000
@@ -181,7 +181,7 @@
 
 fun build_module_namespace ctxt enforce_upper { module_prefix, module_name, identifiers, reserved } program =
   let
-    val module_names = Code_Symbol.Graph.fold (insert (op =) o Code_Symbol.default_prefix ctxt o fst) program [];
+    val module_names = build (Code_Symbol.Graph.fold (insert (op =) o Code_Symbol.default_prefix ctxt o fst) program);
     val module_fragments' = module_fragments
       { module_name = module_name, identifiers = identifiers, reserved = reserved };
     val adjust_case = if enforce_upper then map (Name.enforce_case true) else I;
isabelle