diff options
-rw-r--r-- | tvix/eval/src/compiler/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tvix/eval/src/compiler/mod.rs b/tvix/eval/src/compiler/mod.rs index fa4c56d493c5..4dd8fe4b50af 100644 --- a/tvix/eval/src/compiler/mod.rs +++ b/tvix/eval/src/compiler/mod.rs @@ -836,11 +836,11 @@ impl Compiler<'_> { self.scope_mut().push_with(); - self.push_op_old(OpCode::OpPushWith(with_idx)); + self.push_op(OpCode::OpPushWith(with_idx), &node); self.compile(slot, node.body().unwrap()); - self.push_op_old(OpCode::OpPopWith); + self.push_op(OpCode::OpPopWith, &node); self.scope_mut().pop_with(); self.end_scope(); } |