--- a/src/Pure/theory.ML Thu Jul 16 22:24:03 2020 +0200
+++ b/src/Pure/theory.ML Fri Jul 17 14:56:55 2020 +0200
@@ -170,7 +170,7 @@
fun join_theory [] = raise List.Empty
| join_theory [thy] = thy
- | join_theory thys = foldl1 Context.join_thys thys |> Sign.restore_naming (hd thys);
+ | join_theory thys = foldl1 Context.join_thys thys;
(* begin/end theory *)
@@ -193,8 +193,8 @@
in
thy
|> init_markup (name, pos)
+ |> Sign.init_naming
|> Sign.local_path
- |> Sign.theory_naming
|> apply_wrappers wrappers
|> tap (Syntax.force_syntax o Sign.syn_of)
end;