src/Pure/sign.ML
changeset 71466 b1f3e86a4745
parent 71353 25b872d1d421
child 72283 4ed33ea8d957
--- a/src/Pure/sign.ML	Sun Dec 08 17:42:58 2019 +0100
+++ b/src/Pure/sign.ML	Mon Dec 09 11:17:34 2019 +0100
@@ -525,7 +525,8 @@
 
 fun local_path thy = thy |> root_path |> add_path (Context.theory_name thy);
 
-fun theory_naming thy = thy |> map_naming (Name_Space.set_theory_name (Context.theory_name thy));
+fun theory_naming thy = thy
+  |> map_naming (Name_Space.set_theory_long_name (Context.theory_long_name thy));
 
 val private_scope = map_naming o Name_Space.private_scope;
 val private = map_naming o Name_Space.private;