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/InterpreterLoops.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/InterpreterLoops.mli')

diff --git a/compiler/InterpreterLoops.mli b/compiler/InterpreterLoops.mli
index 630e1e12..567250af 100644
--- a/compiler/InterpreterLoops.mli
+++ b/compiler/InterpreterLoops.mli
@@ -65,4 +65,4 @@ open Meta
     The `stl_cm_fun` required as input must be the function to evaluate the
     loop body (i.e., `eval_statement` applied to the loop body).
  *)
-val eval_loop : config -> meta -> stl_cm_fun -> stl_cm_fun
+val eval_loop : config -> span -> stl_cm_fun -> stl_cm_fun
-- 
cgit v1.2.3