fix: typos in documentation files (#5450)

Co-authored-by: Ernesto García <ernestognw@gmail.com>
OpenZeppelin · Jan 22, 2025 · f0de8c5 · f0de8c5
1 parent 2796f39
commit f0de8c5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/certora/specs/AccessControlDefaultAdminRules.spec b/certora/specs/AccessControlDefaultAdminRules.spec
@@ -176,7 +176,8 @@ rule renounceRoleEffect(env e, bytes32 role) {
 
 /*
 ┌─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┐
-│ Rule: defaultAdmin is only affected by accepting an admin transfer or renouncing                                     │
+│ Rule: defaultAdmin is only affected by accepting an admin transfer or renouncing                                    │
+│ Rule: defaultAdmin is only affected by accepting an admin transfer or renouncing                                    │
 └─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
 */
 rule noDefaultAdminChange(env e, method f, calldataarg args) {