Removed some dead code

safe-global · Jul 16, 2024 · ef7b231 · ef7b231
1 parent 4aac4f2
commit ef7b231
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/modules/4337/certora/harnesses/Safe4337ModuleHarness.sol b/modules/4337/certora/harnesses/Safe4337ModuleHarness.sol
@@ -8,8 +8,4 @@ contract Safe4337ModuleHarness is Safe4337Module {
     function checkSignaturesLength(bytes calldata signatures, uint256 threshold) external pure returns (bool) {
         return _checkSignaturesLength(signatures, threshold);
     }
-
-    function combineBytes(bytes calldata signatures, bytes calldata data) external pure returns (bytes memory) {
-        return abi.encode(signatures, data);
-    }
 }
diff --git a/modules/4337/certora/specs/SignatureLengthCheck.spec b/modules/4337/certora/specs/SignatureLengthCheck.spec
@@ -2,7 +2,6 @@ using Account as safeContract;
 
 methods {
     function checkSignaturesLength(bytes, uint256) external returns(bool) envfree;
-    function combineBytes(bytes, bytes) external returns(bytes) envfree;
 
     // Safe Contract functions
     function safeContract.canonicalSignatureHash(bytes, uint256) external returns(bytes32) envfree;