refactor: use munged files in script

morpho-org · Sep 11, 2023 · b2626bc · b2626bc
1 parent 3a3b75c
commit b2626bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/scripts/verifyExactMath.sh b/certora/scripts/verifyExactMath.sh
@@ -6,7 +6,7 @@ make -C certora munged
 
 certoraRun \
     certora/harness/MorphoHarness.sol \
-    src/mocks/OracleMock.sol \
+    certora/mocks/OracleMock.sol \
     --verify MorphoHarness:certora/specs/ExactMath.spec \
     --prover_args '-smt_hashingScheme plaininjectivity' \
     --msg "Morpho Blue Exact Math" \