From fa6dcd3ebbdc7a508157ff2a12f91e70d2012a86 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 15 Nov 2022 15:25:47 +0100
Subject: Change the name of the generated Coq modules

---
 compiler/Translate.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler')

diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index 012669dc..f34231e0 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -752,7 +752,7 @@ let translate_module (filename : string) (dest_dir : string) (crate : A.crate) :
   in
 
   let module_delimiter =
-    match !Config.backend with FStar -> "." | Coq -> "__"
+    match !Config.backend with FStar -> "." | Coq -> "_"
   in
 
   (* Extract one or several files, depending on the configuration *)
-- 
cgit v1.2.3