src/Pure/Isar/theory_target.ML

   else if not is_class then (NoSyn, mx, NoSyn)
   else (mx, NoSyn, NoSyn);
 
 fun locale_const (Target {target, is_class, ...}) (prmode as (mode, _)) tags ((c, mx), rhs) phi =
   let
-    val c' = Morphism.name phi c |> Name.map_name NameSpace.base;  (* FIXME !!! *)
+    val c' = Morphism.name phi c;
     val rhs' = Morphism.term phi rhs;
     val name = Name.name_of c;
     val name' = Name.name_of c';
     val legacy_arg = (name', Term.close_schematic_term (Logic.legacy_varify rhs'));
     val arg = (name', Term.close_schematic_term rhs');