fix

HerodotusDev · Jun 8, 2024 · 4a4b692 · 4a4b692
1 parent 58ff77b
commit 4a4b692
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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());