-let name_of_cic_name = function
- | Cic.Name s -> CicNotationPt.Ident (s, None)
- | Cic.Anonymous -> CicNotationPt.Ident ("_", None)
+let name_of_cic_name =
+ let add_dummy_xref t = CicNotationPt.AttributedTerm (`IdRef "", t) in
+ function
+ | Cic.Name s -> add_dummy_xref (CicNotationPt.Ident (s, None))
+ | Cic.Anonymous -> add_dummy_xref (CicNotationPt.Ident ("_", None))