diff --git a/certora/confs/termRepoServicer.conf b/certora/confs/termRepoServicer.conf
index fe9bf90..bb7fa3b 100644
--- a/certora/confs/termRepoServicer.conf
+++ b/certora/confs/termRepoServicer.conf
@@ -13,6 +13,7 @@
         "TermRepoServicerHarness:termRepoToken=TermRepoToken",
         "TermRepoServicerHarness:termRepoLocker=TermRepoLocker",
         "TermRepoServicerHarness:termRepoCollateralManager=TermRepoCollateralManagerHarness",
+        "TermRepoServicerHarness:termController=TermController",
         "TermRepoServicerHarness:termRepoRolloverManager=TermRepoRolloverManager",
         "TermRepoCollateralManagerHarness:termRepoLocker=TermRepoLocker"
     ],