From d1a4b29b37d536b680b0d2bd45590fbcd9b96d98 Mon Sep 17 00:00:00 2001
From: YairVaknin-starkware <yair.v@starkware.co>
Date: Thu, 17 Jul 2025 08:39:25 +0300
Subject: [PATCH] Include_output_builtin_in_prover_input_info

---
 vm/src/vm/runners/cairo_runner.rs | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

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();