From 9fb48bc0efec96e332beb8e0d4c6239eb23b6da5 Mon Sep 17 00:00:00 2001
From: Alex Pikme <waysanya1@gmail.com>
Date: Sun, 25 May 2025 12:47:49 +0200
Subject: [PATCH] fix error grater to greater array_vec.rs

---
 internals/src/array_vec.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/internals/src/array_vec.rs b/internals/src/array_vec.rs
index 76d0490d5..98bb3ea85 100644
--- a/internals/src/array_vec.rs
+++ b/internals/src/array_vec.rs
@@ -212,7 +212,7 @@ mod verification {
         }
     }
 
-    #[kani::unwind(16)] // One grater than 15.
+    #[kani::unwind(16)] // One greater than 15.
     #[kani::proof]
     fn no_out_of_bounds_upto_cap() {
         const CAP: usize = 15;