summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--compiler/ExtractTypes.ml4
1 files changed, 3 insertions, 1 deletions
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