diff --git a/apps/tc/src/rocq_elpi_class_tactics_takeover.ml b/apps/tc/src/rocq_elpi_class_tactics_takeover.ml
index e611531e0..299b4c81b 100644
--- a/apps/tc/src/rocq_elpi_class_tactics_takeover.ml
+++ b/apps/tc/src/rocq_elpi_class_tactics_takeover.ml
@@ -102,7 +102,7 @@ module Modes = struct
 end
 
 module Solver = struct
-  let solve_TC program = let open Class_tactics in { solver = fun env sigma ~depth ~unique ~best_effort ~goals ->
+  let solve_TC program = let open Class_tactics in { solver = fun ?db env sigma ~depth ~unique ~best_effort ~goals ->
     let atts = [] in
     let gls = goals in
     let query ~base state =