From a4139b922641f5662e4cc6f6fbc781c01925ed69 Mon Sep 17 00:00:00 2001 From: agontard Date: Fri, 13 Feb 2026 11:04:51 +0100 Subject: [PATCH] prevent name clash --- src/export/coq.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/export/coq.ml b/src/export/coq.ml index 0f943a685..4cc3540d3 100644 --- a/src/export/coq.ml +++ b/src/export/coq.ml @@ -154,7 +154,8 @@ let list elt sep oc xs = (** Translation of identifiers. *) let translate_ident : string -> string = fun s -> - try StrMap.find s !rmap with Not_found -> s + try StrMap.find s !rmap with Not_found -> + if StrMap.exists (fun _ id' -> s = id') !rmap then s ^ "__alt__" else s let raw_ident oc s = string oc (translate_ident s)