redemption reverts branch version removed

term-finance · Jun 26, 2024 · 743973f · 743973f
1 parent 46741e8
commit 743973f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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"
 }