diff options
author | Escherichia | 2024-03-25 12:06:05 +0100 |
---|---|---|
committer | Escherichia | 2024-03-28 15:27:35 +0100 |
commit | d6ea35868e30bbc7542bfa09bb04d5b6cbe93b22 (patch) | |
tree | 14c7bca01e105ec6bf3db8ccedb21d64ae4ae756 /compiler/InterpreterLoopsJoinCtxs.mli | |
parent | 9b1a0d82c19375619904efe7e18e064701fb947b (diff) |
Inverted meta and config argument orders (from meta -> config to config -> meta)
Diffstat (limited to '')
-rw-r--r-- | compiler/InterpreterLoopsJoinCtxs.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterLoopsJoinCtxs.mli b/compiler/InterpreterLoopsJoinCtxs.mli index e79e6a25..d92b3750 100644 --- a/compiler/InterpreterLoopsJoinCtxs.mli +++ b/compiler/InterpreterLoopsJoinCtxs.mli @@ -104,8 +104,8 @@ val join_ctxs : Meta.meta -> loop_id -> ids_sets -> eval_ctx -> eval_ctx -> ctx_ - [ctxl] *) val loop_join_origin_with_continue_ctxs : - Meta.meta -> config -> + Meta.meta -> loop_id -> ids_sets -> eval_ctx -> |