fix: missing comma

morpho-org · Oct 17, 2023 · 80995c8 · 80995c8
1 parent 093bcd2
commit 80995c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/configuration/ExitLiquidity.conf b/certora/configuration/ExitLiquidity.conf
@@ -2,6 +2,6 @@
     "files": [
         "certora/harness/MorphoHarness.sol"
     ],
-    "verify": "MorphoHarness:certora/specs/ExitLiquidity.spec"
+    "verify": "MorphoHarness:certora/specs/ExitLiquidity.spec",
     "msg": "Morpho Blue Exit Liquidity"
 }