From 550782aef31654f9b232b41932538bc2c9ca0eb9 Mon Sep 17 00:00:00 2001 From: nicolas tabareau Date: Mon, 6 Oct 2025 10:53:30 +0200 Subject: [PATCH] Add overlay --- apps/tc/src/rocq_elpi_class_tactics_takeover.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 =