removed unused function in methods block

Certora · Jan 7, 2025 · 73d4594 · 73d4594
1 parent 91d4f0d
commit 73d4594
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/certora/specs/Execute.spec b/certora/specs/Execute.spec
@@ -7,8 +7,6 @@ methods {
     // envfree
     function numSigsSufficient(bytes signatures,uint256 requiredSignatures) external returns (bool) envfree;
 
-    // function _.isValidSignature(bytes32 _hash, bytes _signature) external => DISPATCHER(true);
-
     function _.checkTransaction(
         address to,
         uint256 value,