src/Pure/pure_thy.ML

--- a/src/Pure/pure_thy.ML	Thu Jul 16 22:24:03 2020 +0200
+++ b/src/Pure/pure_thy.ML	Fri Jul 17 14:56:55 2020 +0200
@@ -78,7 +78,7 @@
   ["_tfree", "_tvar", "_free", "_bound", "_loose", "_var", "_numeral", "_inner_string"];
 
 val _ = Theory.setup
-  (Sign.theory_naming #>
+  (Sign.init_naming #>
    Old_Appl_Syntax.put false #>
    Sign.add_types_global
    [(Binding.make ("fun", \<^here>), 2, NoSyn),