From b294639a5cbd2a51fc5bb5e55e0c386ee568ca8c Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz
Date: Fri, 24 May 2024 13:28:12 +0200
Subject: Rename meta into span

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

(limited to 'compiler/InterpreterLoopsJoinCtxs.mli')

diff --git a/compiler/InterpreterLoopsJoinCtxs.mli b/compiler/InterpreterLoopsJoinCtxs.mli
index 0e84657c..f4b5194a 100644
--- a/compiler/InterpreterLoopsJoinCtxs.mli
+++ b/compiler/InterpreterLoopsJoinCtxs.mli
@@ -16,7 +16,7 @@ open InterpreterLoopsCore
     - [aid1]
  *)
 val merge_into_abstraction :
-  Meta.meta ->
+  Meta.span ->
   loop_id ->
   abs_kind ->
   bool ->
@@ -86,7 +86,7 @@ val merge_into_abstraction :
     - [ctx1]
   *)
 val join_ctxs :
-  Meta.meta -> loop_id -> ids_sets -> eval_ctx -> eval_ctx -> ctx_or_update
+  Meta.span -> loop_id -> ids_sets -> eval_ctx -> eval_ctx -> ctx_or_update
 
 (** Join the context at the entry of the loop with the contexts upon reentry
     (upon reaching the [Continue] statement - the goal is to compute a fixed
@@ -106,7 +106,7 @@ val join_ctxs :
  *)
 val loop_join_origin_with_continue_ctxs :
   config ->
-  Meta.meta ->
+  Meta.span ->
   loop_id ->
   ids_sets ->
   eval_ctx ->
-- 
cgit v1.2.3