From 16aa66aabffeaaebc03c264b89387f010750dac3 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 24 Jun 2024 11:10:28 +0200
Subject: Update charon

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

(limited to 'compiler/InterpreterStatements.ml')

diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml
index 27f503bc..67ac15d9 100644
--- a/compiler/InterpreterStatements.ml
+++ b/compiler/InterpreterStatements.ml
@@ -1274,7 +1274,7 @@ and eval_transparent_function_call_concrete (config : config) (span : Meta.span)
         | None ->
             craise __FILE__ __LINE__ span
               ("Can't evaluate a call to an opaque function: "
-              ^ name_to_string ctx def.name)
+              ^ name_to_string ctx def.item_meta.name)
         | Some body -> body
       in
       (* TODO: we need to normalize the types if we want to correctly support traits *)
-- 
cgit v1.2.3