[#754] FV

safe-global · Jul 4, 2024 · b9b3bab · b9b3bab
1 parent a33c7cd
commit b9b3bab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,