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

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

(limited to 'compiler/PrePasses.ml')

diff --git a/compiler/PrePasses.ml b/compiler/PrePasses.ml
index 5cef8b05..6bdf0a01 100644
--- a/compiler/PrePasses.ml
+++ b/compiler/PrePasses.ml
@@ -482,7 +482,7 @@ let apply_passes (crate : crate) : crate =
          However, we replace the body of the function, and save an error to
          report to the user the fact that we will ignore the function body *)
       let fmt = Print.Crate.crate_to_fmt_env crate in
-      let name = Print.name_to_string fmt f.name in
+      let name = Print.name_to_string fmt f.item_meta.name in
       save_error __FILE__ __LINE__ (Some f.item_meta.span)
         ("Ignoring the body of '" ^ name ^ "' because of previous error");
       { f with body = None }
-- 
cgit v1.2.3