From 80995c80207b023e1c359f0154b3a721884fe8e6 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Tue, 17 Oct 2023 13:33:06 +0200
Subject: [PATCH] fix: missing comma

---
 certora/configuration/ExitLiquidity.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/configuration/ExitLiquidity.conf b/certora/configuration/ExitLiquidity.conf
index 5e31571b1..b58c24657 100644
--- 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"
 }