1 files changed, 10 insertions, 2 deletions
diff --git a/corp/tvixbolt/src/main.rs b/corp/tvixbolt/src/main.rs
index 8099a5238d02..e6dda736f4a4 100644
--- a/corp/tvixbolt/src/main.rs
+++ b/corp/tvixbolt/src/main.rs
@@ -286,9 +286,17 @@ fn eval(trace: bool, code: &str) -> Output {
     }
 
     let result = if trace {
-        tvix_eval::run_lambda(&mut TracingObserver::new(&mut out.trace), result.lambda)
+        tvix_eval::run_lambda(
+            Default::default(),
+            &mut TracingObserver::new(&mut out.trace),
+            result.lambda,
+        )
     } else {
-        tvix_eval::run_lambda(&mut NoOpObserver::default(), result.lambda)
+        tvix_eval::run_lambda(
+            Default::default(),
+            &mut NoOpObserver::default(),
+            result.lambda,
+        )
     };
 
     match result {