chore: fix typo in certora/specs/OwnerReach.spec (#902)

Hello, I found a typo error in `certora/specs/OwnerReach.spec`: `isOwnerNotSelfOrSentinal ` -> `isOwnerNotSelfOrSentinel` Thank you. Signed-off-by: ericlehong <[email protected]>
safe-global · Jan 16, 2025 · 2a599c4 · 2a599c4
1 parent 8677f32
commit 2a599c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/specs/OwnerReach.spec b/certora/specs/OwnerReach.spec
@@ -289,7 +289,7 @@ rule isOwnerDoesNotRevert {
     assert !lastReverted, "isOwner should not revert";
 }
 
-rule isOwnerNotSelfOrSentinal {
+rule isOwnerNotSelfOrSentinel {
     address addr;
     require addr == currentContract || addr == SENTINEL;
     requireInvariant self_not_owner();