From 08842bb457907b303c587739704e822da33bd68c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Tue, 30 Jan 2024 08:14:30 +0100 Subject: [PATCH] coq export: do not translate module names --- src/export/coq.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/export/coq.ml b/src/export/coq.ml index 7b0e10ce9..1e6499f0a 100644 --- a/src/export/coq.ml +++ b/src/export/coq.ml @@ -139,7 +139,7 @@ let set_encoding : string -> unit = fun f -> let translate_ident : string -> string = fun s -> try StrMap.find s !rmap with Not_found -> s -let raw_ident : string pp = fun ppf s -> Print.uid ppf (translate_ident s) +let raw_ident : string pp = fun ppf s -> string ppf (translate_ident s) let ident : p_ident pp = fun ppf {elt;_} -> raw_ident ppf elt @@ -150,7 +150,7 @@ let param_id : p_ident option pp = fun ppf idopt -> let param_ids : p_ident option list pp = List.pp param_id " " -let raw_path : Path.t pp = List.pp raw_ident "." +let raw_path : Path.t pp = List.pp string "." let path : p_path pp = fun ppf {elt;_} -> raw_path ppf elt