From 91d62c6e73cd67236848c3efa85f85ae152d0d4e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 8 Feb 2024 09:42:00 +0100
Subject: Update following changes in Charon

---
 compiler/SymbolicAst.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'compiler/SymbolicAst.ml')

diff --git a/compiler/SymbolicAst.ml b/compiler/SymbolicAst.ml
index 7252a020..79c03e58 100644
--- a/compiler/SymbolicAst.ml
+++ b/compiler/SymbolicAst.ml
@@ -251,8 +251,7 @@ and value_aggregate =
   | VaCgValue of const_generic_var_id
       (** This is used when evaluating a const generic value: in the interpreter,
           we introduce a fresh symbolic value. *)
-  | VaTraitConstValue of trait_ref * generic_args * string
-      (** A trait constant value *)
+  | VaTraitConstValue of trait_ref * string  (** A trait constant value *)
 [@@deriving
   show,
     visitors
-- 
cgit v1.2.3