Merge pull request #231 from LPCIC/fixup-226

fixup 226
LPCIC · May 24, 2024 · 8d02afc · 8d02afc
2 parents cbcd669 + a027651
commit 8d02afc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/runtime.ml b/src/runtime.ml
@@ -957,7 +957,7 @@ let rec move ~argsdepth e ?avoid ~from ~to_ t =
        if depth == 0 then deref_appuv ?avoid ~from:vardepth ~to_ args t
        else maux empty_env depth (deref_appuv ~from:vardepth ~to_:(from+depth) args t)
     | Arg (i, argsno) when e.(i) != C.dummy ->
-       if from = argsdepth then deref_uv ?avoid ~from:argsdepth ~to_:(to_+depth) argsno e.(i)
+       if to_ = argsdepth then deref_uv ?avoid ~from:argsdepth ~to_:(to_+depth) argsno e.(i)
        else
         let args = C.mkinterval from argsno 0 in
         let args =