summaryrefslogtreecommitdiff
path: root/compiler/InterpreterLoopsJoinCtxs.mli
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/InterpreterLoopsJoinCtxs.mli')
-rw-r--r--compiler/InterpreterLoopsJoinCtxs.mli2
1 files changed, 1 insertions, 1 deletions
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 ->