refactor: missing refactor of LibSummary.conf

morpho-org · Oct 19, 2023 · 0ff92f8 · 0ff92f8
1 parent dfe4834
commit 0ff92f8
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/certora/configuration/LibSummary.conf b/certora/configuration/LibSummary.conf
@@ -2,7 +2,6 @@
     "files": [
         "certora/harness/MorphoHarness.sol"
     ],
-    "msg": "Morpho Blue Lib Summary",
-    "process": "emv",
-    "verify": "MorphoHarness:certora/specs/LibSummary.spec"
+    "verify": "MorphoHarness:certora/specs/LibSummary.spec",
+    "msg": "Morpho Blue Lib Summary"
 }