From fa57d8d9d51c93ccefefb0951c67475970e97879 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 8 Apr 2024 15:18:58 +0200
Subject: item_meta

---
 compiler/Translate.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'compiler/Translate.ml')

diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index 9460c5f4..222b3c57 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -127,7 +127,7 @@ let translate_function_to_pure_aux (trans_ctx : trans_ctx)
 
   let ctx =
     {
-      meta = fdef.meta;
+      meta = fdef.item_meta.meta;
       decls_ctx = trans_ctx;
       SymbolicToPure.bid = None;
       sg;
@@ -179,7 +179,7 @@ let translate_function_to_pure_aux (trans_ctx : trans_ctx)
           SymbolicToPure.fresh_named_vars_for_symbolic_values input_svs ctx
         in
         { ctx with forward_inputs }
-    | _ -> craise __FILE__ __LINE__ fdef.meta "Unreachable"
+    | _ -> craise __FILE__ __LINE__ fdef.item_meta.meta "Unreachable"
   in
 
   (* Add the backward inputs *)
@@ -486,7 +486,7 @@ let export_global (fmt : Format.formatter) (config : gen_config) (ctx : gen_ctx)
   let global_decls = ctx.trans_ctx.global_ctx.global_decls in
   let global = GlobalDeclId.Map.find id global_decls in
   let trans = FunDeclId.Map.find global.body ctx.trans_funs in
-  sanity_check __FILE__ __LINE__ (trans.loops = []) global.meta;
+  sanity_check __FILE__ __LINE__ (trans.loops = []) global.item_meta.meta;
   let body = trans.f in
 
   let is_opaque = Option.is_none body.Pure.body in
-- 
cgit v1.2.3