From 0a5859fbb7bcd99bfa221eaf1af029ff660bf963 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 12 Nov 2023 19:35:24 +0100
Subject: Rename some variants

---
 compiler/Interpreter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/Interpreter.ml')

diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml
index bc28bcd6..b1178aa7 100644
--- a/compiler/Interpreter.ml
+++ b/compiler/Interpreter.ml
@@ -74,7 +74,7 @@ let symbolic_instantiate_fun_sig (ctx : C.eval_ctx) (sg : A.fun_sig)
     let types = List.map (fun (v : T.type_var) -> T.TypeVar v.T.index) types in
     let const_generics =
       List.map
-        (fun (v : T.const_generic_var) -> T.ConstGenericVar v.T.index)
+        (fun (v : T.const_generic_var) -> T.CGVar v.T.index)
         const_generics
     in
     (* Annoying that we have to generate this substitution here *)
-- 
cgit v1.2.3