Use short names for the structure fields in Lean

1 files changed, 1 insertions, 0 deletions

diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index 444642c0..c5f7df92 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -922,6 +922,7 @@ let translate_crate (filename : string) (dest_dir : string) (crate : A.crate) :
     {
       ExtractBase.trans_ctx;
       names_map;
+      unsafe_names_map = { id_to_name = ExtractBase.IdMap.empty };
       fmt;
       indent_incr = 2;
       use_opaque_pre = !Config.split_files;