-
MARCHE Claude authored
We do not record anymore the map id_decl in naming_tables names_table renamed into naming_table, seems better to me
bcd79af4
We do not record anymore the map id_decl in naming_tables names_table renamed into naming_table, seems better to me