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",