From 743973ff12a4bc6a9b0ab220e37c079cedc04d74 Mon Sep 17 00:00:00 2001 From: Andrew Zhou Date: Wed, 26 Jun 2024 08:27:55 -0700 Subject: [PATCH] redemption reverts branch version removed --- certora/confs/termRepoServicer-redemptionsReverts.conf | 1 - 1 file changed, 1 deletion(-) diff --git a/certora/confs/termRepoServicer-redemptionsReverts.conf b/certora/confs/termRepoServicer-redemptionsReverts.conf index d32443f..0412b58 100644 --- a/certora/confs/termRepoServicer-redemptionsReverts.conf +++ b/certora/confs/termRepoServicer-redemptionsReverts.conf @@ -37,6 +37,5 @@ "@chainlink=node_modules/@chainlink", "@openzeppelin=node_modules/@openzeppelin" ], - "prover_version": "jtoman/finder-fixes-will-it-ever-end", "verify": "TermRepoServicerHarness:certora/specs/termRepoServicer/rulesRedemptionsReverts.spec" } \ No newline at end of file