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/SynthesizeSymbolic.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'compiler/SynthesizeSymbolic.ml')

diff --git a/compiler/SynthesizeSymbolic.ml b/compiler/SynthesizeSymbolic.ml
index 20bc107e..a42c43ac 100644
--- a/compiler/SynthesizeSymbolic.ml
+++ b/compiler/SynthesizeSymbolic.ml
@@ -119,9 +119,9 @@ let synthesize_function_call (call_id : call_id) (ctx : Contexts.eval_ctx)
       FunCall (call, e))
     e
 
-let synthesize_global_eval (gid : GlobalDeclId.id) (dest : symbolic_value)
-    (e : expression option) : expression option =
-  Option.map (fun e -> EvalGlobal (gid, dest, e)) e
+let synthesize_global_eval (gid : GlobalDeclId.id) (generics : generic_args)
+    (dest : symbolic_value) (e : expression option) : expression option =
+  Option.map (fun e -> EvalGlobal (gid, generics, dest, e)) e
 
 let synthesize_regular_function_call (fun_id : fun_id_or_trait_method_ref)
     (call_id : FunCallId.id) (ctx : Contexts.eval_ctx) (sg : fun_sig)
-- 
cgit v1.2.3