lint

2023-04-27 23:19:17 +02:00
parent 9cd73f76b2
commit 19b6505a62
2 changed files with 2 additions and 2 deletions
--- a/certora/specs/methods/IERC5805.spec
+++ b/certora/specs/methods/IERC5805.spec
@ -8,4 +8,4 @@ methods {
    // external
    delegate(address)
    delegateBySig(address, uint256, uint256, uint8, bytes32, bytes32)
-}
+}
--- a/certora/specs/methods/IERC6372.spec
+++ b/certora/specs/methods/IERC6372.spec
@ -1,4 +1,4 @@
 methods {
    clock() returns (uint48)
    CLOCK_MODE() returns (string)
-}
+}