Skip to content

Commit 3da0b26

Browse files
Include_output_builtin_in_prover_input_info
1 parent df70ca8 commit 3da0b26

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

vm/src/vm/runners/cairo_runner.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1540,10 +1540,7 @@ impl CairoRunner {
15401540
.iter()
15411541
.filter(|builtin| {
15421542
// Those segments are not treated as builtins by the prover.
1543-
!matches!(
1544-
builtin,
1545-
BuiltinRunner::SegmentArena(_) | BuiltinRunner::Output(_)
1546-
)
1543+
!matches!(builtin, BuiltinRunner::SegmentArena(_))
15471544
})
15481545
.map(|builtin| {
15491546
let (index, _) = builtin.get_memory_segment_addresses();

0 commit comments

Comments
 (0)