updating invariant to match variable name update

safe-global · Sep 12, 2024 · 6d28aec · 6d28aec
1 parent 1b3b4f6
commit 6d28aec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/specs/SafeToL2Setup.spec b/certora/specs/SafeToL2Setup.spec
@@ -4,7 +4,7 @@ using SafeMock as SafeMock;
 // _SELF is always the current contract
 // if the "rule_sanity": "basic" flag is enabled this rule would fail sanity check
 invariant _SELFisAlwaysCurrentContract()
-    SafeToL2Setup._SELF == SafeToL2Setup;
+    SafeToL2Setup.SELF == SafeToL2Setup;
 
 
 // all the non-view functions will revert when called directly (only delegateCall is allowed)