From bcc3f4ae99ba5ff78d03c51c825659e1b67bb0b0 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 6 Nov 2023 18:52:41 +0100
Subject: Fix a naming issue

---
 compiler/ExtractTypes.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'compiler')

diff --git a/compiler/ExtractTypes.ml b/compiler/ExtractTypes.ml
index f4be9006..7bd02381 100644
--- a/compiler/ExtractTypes.ml
+++ b/compiler/ExtractTypes.ml
@@ -700,7 +700,9 @@ let mk_formatter (ctx : trans_ctx) (crate_name : string)
        with the trait decl name *)
     let trait_decl =
       let name = trait_decl.name in
-      get_type_name_no_suffix name ^ "Inst"
+      let name = get_type_name_no_suffix name ^ "Inst" in
+      (* Remove the occurrences of '.' *)
+      String.concat "" (String.split_on_char '.' name)
     in
     flatten_name (get_type_name trait_impl.name @ [ trait_decl ])
   in
-- 
cgit v1.2.3