fix

certora/specs.js

@@ -37,10 +37,10 @@ module.exports = [].concat(
     options: ['--link ERC20WrapperHarness:_underlying=ERC20PermitHarness', '--optimistic_loop'],
   },
   {
-    spec: "ERC721",
-    contract: "ERC721Harness",
-    files: ["certora/harnesses/ERC721Harness.sol", "certora/harnesses/ERC721ReceiverHarness.sol"],
-    options: ["--optimistic_loop"],
+    spec: 'ERC721',
+    contract: 'ERC721Harness',
+    files: ['certora/harnesses/ERC721Harness.sol', 'certora/harnesses/ERC721ReceiverHarness.sol'],
+    options: ['--optimistic_loop'],
   },
   // Security
   {
@@ -56,9 +56,9 @@ module.exports = [].concat(
   },
   // Structures
   {
-    spec: "DoubleEndedQueue",
-    contract: "DoubleEndedQueueHarness",
-    files: ["certora/harnesses/DoubleEndedQueueHarness.sol"],
+    spec: 'DoubleEndedQueue',
+    contract: 'DoubleEndedQueueHarness',
+    files: ['certora/harnesses/DoubleEndedQueueHarness.sol'],
   },
   // Governance
   {

certora/specs/Governor.helpers.spec

@@ -74,7 +74,7 @@ definition operateOnProposal(method f) returns bool =
     f.selector == castVoteWithReason(uint256,uint8,string).selector ||
     f.selector == castVoteWithReasonAndParams(uint256,uint8,string,bytes).selector ||
     f.selector == castVoteBySig(uint256,uint8,uint8,bytes32,bytes32).selector ||
-    f.selector == castVoteWithReasonAndParamsBySig(uint256,uint8,string,bytes,uint8,bytes32,bytes32).selector
+    f.selector == castVoteWithReasonAndParamsBySig(uint256,uint8,string,bytes,uint8,bytes32,bytes32).selector;
 
 // These function are covered by helperVoteWithRevert
 definition voting(method f) returns bool =