From a0276517f3132aa77abb517633545403e54a961b Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 24 May 2024 15:13:41 +0200 Subject: [PATCH] fixup 226 --- src/runtime.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime.ml b/src/runtime.ml index 74f8d175e..8e165063b 100644 --- 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 =