fix: cosmetics

morpho-org · Nov 18, 2024 · 9918bff · 9918bff
1 parent 5d04121
commit 9918bff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/specs/ERC20.spec b/certora/specs/ERC20.spec
@@ -16,7 +16,7 @@ methods {
     function delegatee(address)                    external returns address   envfree;
     function nonces(address)                       external returns (uint256) envfree;
     function DOMAIN_SEPARATOR()                    external returns (bytes32) envfree;
-    function upgradeToAndCall(address, bytes) external => NONDET DELETE;
+    function upgradeToAndCall(address, bytes)      external => NONDET DELETE;
 }
 
 /*