Update modules/4337/certora/specs/ValidationDataLastBitOne.spec

Co-authored-by: Nicholas Rodrigues Lordello <nick@safe.global>
safe-global · Jul 8, 2024 · d5cb574 · d5cb574
1 parent dd43fe3
commit d5cb574
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/modules/4337/certora/specs/ValidationDataLastBitOne.spec b/modules/4337/certora/specs/ValidationDataLastBitOne.spec
@@ -11,7 +11,6 @@ methods {
     function getOperationHash(
         Safe4337Module.PackedUserOperation userOp
     ) external returns(bytes32) envfree => PER_CALLEE_CONSTANT;
-
     function _checkSignatureLength(bytes calldata, uint256) internal returns(bool)=> ALWAYS(true);
 }