Register global names, one error remaining

1 files changed, 5 insertions, 1 deletions

diff --git a/src/Translate.ml b/src/Translate.ml
index a936d626..fdd6d05f 100644
--- a/src/Translate.ml
+++ b/src/Translate.ml
@@ -655,7 +655,7 @@ let translate_module (filename : string) (dest_dir : string) (config : config)
             m.declarations))
   in
 
-  (* Register unique names for all the top-level types and functions.
+  (* Register unique names for all the top-level types, functions and globals.
    * Note that the order in which we generate the names doesn't matter:
    * we just need to generate a mapping from identifier to name, and make
    * sure there are no name clashes. *)
@@ -677,6 +677,10 @@ let translate_module (filename : string) (dest_dir : string) (config : config)
       ctx trans_funs
   in
 
+  let ctx = List.fold_left
+    ExtractToFStar.extract_global_decl_register_names ctx m.globals
+  in
+
   (* Open the output file *)
   (* First compute the filename by replacing the extension and converting the
    * case (rust module names are snake case) *)