From a8ebfc3947adb052f36775c664e43a8dc7434660 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 18 Mar 2024 01:39:07 +0100
Subject: Make good progress on adding generics to global constants

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

(limited to 'compiler/Translate.ml')

diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index fba1dfb0..9af3c71b 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -469,6 +469,7 @@ let export_global (fmt : Format.formatter) (config : gen_config) (ctx : gen_ctx)
        groups are always singletons, so the [extract_global_decl] function
        takes care of generating the delimiters.
     *)
+    let global = SymbolicToPure.translate_global ctx.trans_ctx global in
     Extract.extract_global_decl ctx fmt global body config.interface
 
 (** Utility.
-- 
cgit v1.2.3