Skip to content

Commit 00406f0

Browse files
Include_output_builtin_in_prover_input_info (#2138)
1 parent df70ca8 commit 00406f0

File tree

1 file changed

+2
-5
lines changed

1 file changed

+2
-5
lines changed

vm/src/vm/runners/cairo_runner.rs

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1539,11 +1539,8 @@ impl CairoRunner {
15391539
.builtin_runners
15401540
.iter()
15411541
.filter(|builtin| {
1542-
// Those segments are not treated as builtins by the prover.
1543-
!matches!(
1544-
builtin,
1545-
BuiltinRunner::SegmentArena(_) | BuiltinRunner::Output(_)
1546-
)
1542+
// `SegmentArena` isn't treated as a builtin by the prover.
1543+
!matches!(builtin, BuiltinRunner::SegmentArena(_))
15471544
})
15481545
.map(|builtin| {
15491546
let (index, _) = builtin.get_memory_segment_addresses();

0 commit comments

Comments
 (0)