Fixed bug in call (L3)

PLTools · Jan 24, 2024 · 6b6fcf8 · 6b6fcf8
1 parent 67c3c66
commit 6b6fcf8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/L3/L3.ml b/L3/L3.ml
@@ -120,9 +120,9 @@ module Program =
         let (st', i', o'), fv :: args = evals c (f :: es) in
         (match fv with
          | `C (fargs, st, s) ->
-           let st'' = alloc st (fargs, args) in
+           let st'' = alloc st' (fargs, args) in
            let (st''', i'', o''), v = eval (st'', i', o') s in
-           (restore st fargs st''', i'', o''), v
+           (restore st' fargs st''', i'', o''), v
 
          | _ -> failwith "a callee did not evaluate to a closure"
         )