From 311a162dcc65233d628303a1114b529b8eff29a0 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 3 Jun 2024 16:11:24 +0200
Subject: Change the order in which we merge abstractions

---
 compiler/InterpreterLoopsJoinCtxs.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/InterpreterLoopsJoinCtxs.mli')

diff --git a/compiler/InterpreterLoopsJoinCtxs.mli b/compiler/InterpreterLoopsJoinCtxs.mli
index f4b5194a..a194e25b 100644
--- a/compiler/InterpreterLoopsJoinCtxs.mli
+++ b/compiler/InterpreterLoopsJoinCtxs.mli
@@ -15,7 +15,7 @@ open InterpreterLoopsCore
     - [aid0]
     - [aid1]
  *)
-val merge_into_abstraction :
+val merge_into_first_abstraction :
   Meta.span ->
   loop_id ->
   abs_kind ->
-- 
cgit v1.2.3