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

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