src/Pure/pure_thy.ML

--- a/src/Pure/pure_thy.ML	Sat Nov 23 11:45:02 2019 +0100
+++ b/src/Pure/pure_thy.ML	Sat Nov 23 14:48:44 2019 +0100
@@ -78,7 +78,7 @@
   ["_tfree", "_tvar", "_free", "_bound", "_loose", "_var", "_numeral", "_inner_string"];
 
 val _ = Theory.setup
-  (Sign.map_naming (Name_Space.set_theory_name Context.PureN) #>
+  (Sign.theory_naming #>
    Old_Appl_Syntax.put false #>
    Sign.add_types_global
    [(Binding.make ("fun", \<^here>), 2, NoSyn),