From 9918bff5417f98b7027f781a2b793ca259094824 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Colin=20Gonz=C3=A1lez?= Date: Mon, 18 Nov 2024 13:34:45 +0100 Subject: [PATCH] fix: cosmetics --- certora/specs/ERC20.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/certora/specs/ERC20.spec b/certora/specs/ERC20.spec index f73b815..72e2db4 100644 --- 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; } /*