Syntax

HerodotusDev · Jun 10, 2024 · a8671d5 · a8671d5
1 parent 2de105b
commit a8671d5
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/src/air/public_memory.cairo b/src/air/public_memory.cairo
@@ -67,11 +67,9 @@ impl PageImpl of PageTrait {
     fn extract_range_unchecked(self: @Page, addr: u32, len: usize) -> Span<felt252> {
         let mut arr = ArrayTrait::new();
         let mut slice = self.span().slice(addr, len);
-        while !slice
-            .is_empty() {
-                let current = *slice.pop_front().unwrap();
-                arr.append(current.value);
-            };
+        while let Option::Some(current) = slice.pop_front() {
+            arr.append(*current.value);
+        };
         arr.span()
     }