fix: remove breaking solc version

morpho-org · Nov 21, 2023 · 3284cce · 3284cce
1 parent 6a1829c
commit 3284cce
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/certora/gambit.conf b/certora/gambit.conf
@@ -1,6 +1,5 @@
  {
-      "filename" : "src/Morpho.sol",
-      "solc": "solc8.19",
+      "filename" : "../src/Morpho.sol",
       "sourceroot": "..",
       "num_mutants": 15,
       "solc_remappings": []