fmt

HerodotusDev · Aug 22, 2024 · 3ce5548 · 3ce5548
1 parent d59bb53
commit 3ce5548
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/air/public_input.cairo b/src/air/public_input.cairo
@@ -174,8 +174,7 @@ fn verify_cairo1_public_input(public_input: @PublicInput) -> (felt252, felt252)
 
     // 1. Program segment
     assert(initial_pc == INITIAL_PC, 'Invalid initial_pc');
-    let program = memory
-        .extract_range_unchecked(0, memory.len() - output_len);
+    let program = memory.extract_range_unchecked(0, memory.len() - output_len);
     let program_hash = poseidon_hash_span(program);
 
     // 2. Output segment