diff --git a/src/air/layouts/recursive/public_input.cairo b/src/air/layouts/recursive/public_input.cairo
index 3a50c24a6..5f893282e 100644
--- a/src/air/layouts/recursive/public_input.cairo
+++ b/src/air/layouts/recursive/public_input.cairo
@@ -48,7 +48,6 @@ impl RecursivePublicInputImpl of PublicInputTrait {
         let program_hash = poseidon_hash_span(program.span());
 
         // 3. Output segment 
-        let output_len: u32 = (output_stop - output_start).try_into().unwrap();
         let output = public_memory.extract_range(public_memory.len() - output_len, output_len);
         let output_hash = poseidon_hash_span(output.span());