From 38073be8d6a9d0394afb232f25160be2acf610e6 Mon Sep 17 00:00:00 2001
From: Andrew Zhou <andrew@termfinance.io>
Date: Sat, 22 Jun 2024 21:57:49 -0700
Subject: [PATCH] controller harness for certora

---
 certora/confs/termRepoServicer.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/confs/termRepoServicer.conf b/certora/confs/termRepoServicer.conf
index eafeb55..759cdc4 100644
--- a/certora/confs/termRepoServicer.conf
+++ b/certora/confs/termRepoServicer.conf
@@ -2,7 +2,7 @@
     "files": [
         "certora/harness/TermRepoServicerHarness.sol",
         "contracts/TermAuctionBidLocker.sol",
-        "contracts/TermController.sol",
+        "certora/harness/TermControllerHarness.sol",
         "contracts/TermRepoLocker.sol",
         "contracts/TermRepoToken.sol",
         "contracts/TermRepoRolloverManager.sol",