fix: use Morpho Util in MarketInteractions

morpho-org · Oct 29, 2024 · c3b2c3a · c3b2c3a
1 parent d24bf5e
commit c3b2c3a
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/certora/confs/MarketInteractions.conf b/certora/confs/MarketInteractions.conf
@@ -1,9 +1,12 @@
 {
   "files": [
-    "certora/helpers/MetaMorphoHarness.sol",
-    "certora/helpers/Util.sol"
+    "lib/morpho-blue/certora/harness/Util.sol",
+    "certora/helpers/MetaMorphoHarness.sol"
   ],
-  "solc": "solc-0.8.21",
+  "solc_map": {
+    "Util": "solc-0.8.19",
+    "MetaMorphoHarness": "solc-0.8.21"
+  },
   "parametric_contracts": [
     "MetaMorphoHarness"
   ],