let export_entity si g moch = function
| DrgEntity e -> X.export_entity DO.export_term si g e
- | BrgEntity e -> X.old_export_entity BrgO.export_term si g e
+ | BrgEntity e -> X.export_entity BrgO.export_term si g e
| MetaEntity e ->
begin match moch with
| None -> ()