From 245a19a962c2fbd546c90c4ff16767a03af591e9 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 17 Sep 2023 01:22:45 +0200
Subject: Fix a minor issue

---
 compiler/InterpreterStatements.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'compiler/InterpreterStatements.ml')

diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml
index b00aca7e..d67d57db 100644
--- a/compiler/InterpreterStatements.ml
+++ b/compiler/InterpreterStatements.ml
@@ -1201,7 +1201,7 @@ and eval_transparent_function_call_symbolic (config : C.config) (call : A.call)
     | A.FunId (A.Assumed _) ->
         (* Unreachable: must be a transparent function *)
         raise (Failure "Unreachable")
-    | A.TraitMethod (trait_ref, method_name, method_decl_id) -> (
+    | A.TraitMethod (trait_ref, method_name, _) -> (
         log#ldebug
           (lazy
             ("trait method call:\n- call: " ^ call_to_string ctx call
@@ -1243,7 +1243,7 @@ and eval_transparent_function_call_symbolic (config : C.config) (call : A.call)
                 (* Also update the function identifier: we want to forget
                    the fact that we called a trait method, and treat it as
                    a regular function acll. *)
-                let func = A.FunId (A.Regular method_decl_id) in
+                let func = A.FunId (A.Regular id) in
                 (func, method_def, None, inst_sg)
             | None ->
                 (* If not found, lookup the methods provided by the trait *declaration*
-- 
cgit v1.2.3