diff --git a/vm/src/vm/runners/cairo_runner.rs b/vm/src/vm/runners/cairo_runner.rs index 48e656dd24..547e88d432 100644 --- a/vm/src/vm/runners/cairo_runner.rs +++ b/vm/src/vm/runners/cairo_runner.rs @@ -1539,11 +1539,8 @@ impl CairoRunner { .builtin_runners .iter() .filter(|builtin| { - // Those segments are not treated as builtins by the prover. - !matches!( - builtin, - BuiltinRunner::SegmentArena(_) | BuiltinRunner::Output(_) - ) + // `SegmentArena` isn't treated as a builtin by the prover. + !matches!(builtin, BuiltinRunner::SegmentArena(_)) }) .map(|builtin| { let (index, _) = builtin.get_memory_segment_addresses();