From 520e4f8aec464ef98f985b03c50075aacd2788ef Mon Sep 17 00:00:00 2001
From: Ricardo Guilherme Schmidt <3esmit@gmail.com>
Date: Wed, 13 Nov 2024 18:29:11 -0300
Subject: [PATCH] chore(certora/confs): lint files

---
 certora/confs/StakeManager.conf               | 10 +++++-----
 certora/confs/StakeManagerProcess.conf        | 12 ++++++------
 certora/confs/StakeManagerStartMigration.conf | 16 ++++++++--------
 certora/confs/StakeVault.conf                 |  2 +-
 4 files changed, 20 insertions(+), 20 deletions(-)

diff --git a/certora/confs/StakeManager.conf b/certora/confs/StakeManager.conf
index ce3f004..6fc3a00 100644
--- a/certora/confs/StakeManager.conf
+++ b/certora/confs/StakeManager.conf
@@ -1,10 +1,10 @@
 {
-  "files":
-    ["contracts/StakeManager.sol",
+  "files": [
+    "contracts/StakeManager.sol",
     "certora/helpers/ExpiredStakeStorageA.sol",
-      "certora/helpers/ERC20A.sol"
-    ],
-  "link" : [
+    "certora/helpers/ERC20A.sol"
+  ],
+  "link": [
     "StakeManager:REWARD_TOKEN=ERC20A",
     "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
   ],
diff --git a/certora/confs/StakeManagerProcess.conf b/certora/confs/StakeManagerProcess.conf
index 67b061d..1c45e5b 100644
--- a/certora/confs/StakeManagerProcess.conf
+++ b/certora/confs/StakeManagerProcess.conf
@@ -1,10 +1,10 @@
 {
-  "files":
-    ["contracts/StakeManager.sol",
-      "certora/helpers/ERC20A.sol",
-      "certora/helpers/ExpiredStakeStorageA.sol"
-    ],
-  "link" : [
+  "files": [
+    "contracts/StakeManager.sol",
+    "certora/helpers/ExpiredStakeStorageA.sol",
+    "certora/helpers/ERC20A.sol"
+  ],
+  "link": [
     "StakeManager:REWARD_TOKEN=ERC20A",
     "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
   ],
diff --git a/certora/confs/StakeManagerStartMigration.conf b/certora/confs/StakeManagerStartMigration.conf
index e6e6761..bafb372 100644
--- a/certora/confs/StakeManagerStartMigration.conf
+++ b/certora/confs/StakeManagerStartMigration.conf
@@ -1,13 +1,13 @@
 {
-  "files":
-    [ "contracts/StakeManager.sol",
-      "certora/harness/StakeManagerNew.sol",
-      "certora/helpers/ExpiredStakeStorageA.sol",
-      "certora/helpers/ERC20A.sol"
-    ],
-  "link" : [
+  "files": [
+    "contracts/StakeManager.sol",
+    "certora/harness/StakeManagerNew.sol",
+    "certora/helpers/ExpiredStakeStorageA.sol",
+    "certora/helpers/ERC20A.sol"
+  ],
+  "link": [
     "StakeManager:REWARD_TOKEN=ERC20A",
-    "StakeManager:expiredStakeStorage=ExpiredStakeStorageA",
+    "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
   ],
   "msg": "Verifying StakeManager.sol",
   "rule_sanity": "basic",
diff --git a/certora/confs/StakeVault.conf b/certora/confs/StakeVault.conf
index e981f8c..04b5f84 100644
--- a/certora/confs/StakeVault.conf
+++ b/certora/confs/StakeVault.conf
@@ -5,7 +5,7 @@
     "certora/helpers/ExpiredStakeStorageA.sol",
     "certora/helpers/ERC20A.sol"
   ],
-  "link" : [
+  "link": [
     "StakeVault:STAKING_TOKEN=ERC20A",
     "StakeManager:REWARD_TOKEN=ERC20A",
     "StakeManager:expiredStakeStorage=ExpiredStakeStorageA",