From b9b3bab72193b721bcccc2d82e772566571e7bbd Mon Sep 17 00:00:00 2001 From: Akshay Date: Thu, 4 Jul 2024 14:54:09 +0200 Subject: [PATCH] [#754] FV --- modules/4337/certora/specs/ValidationDataLastBitOne.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/4337/certora/specs/ValidationDataLastBitOne.spec b/modules/4337/certora/specs/ValidationDataLastBitOne.spec index 094b58361..9f48e24bb 100644 --- a/modules/4337/certora/specs/ValidationDataLastBitOne.spec +++ b/modules/4337/certora/specs/ValidationDataLastBitOne.spec @@ -12,7 +12,7 @@ methods { Safe4337Module.PackedUserOperation userOp ) external returns(bytes32) envfree => PER_CALLEE_CONSTANT; - function _._checkSignatureLength(bytes calldata, uint256) internal returns(bool) => ALWAYS(true); + function _._checkSignatureLength(bytes calldata, uint256) internal => ALWAYS(true); } rule validationDataLastBitOneIfCheckSignaturesFails(address sender,