diff --git a/rocq-brick-libstdcpp/proof/dune b/rocq-brick-libstdcpp/proof/dune
index 0d26686..9d474e5 100644
--- a/rocq-brick-libstdcpp/proof/dune
+++ b/rocq-brick-libstdcpp/proof/dune
@@ -27,6 +27,7 @@
   ExtLib
   skylabs.elpi.extra
   skylabs.elpi.cpp
+  tactic_classes
   ; skylabs deps end
   skylabs))
 (include dune.inc)
diff --git a/rocq-brick-libstdcpp/test/dune b/rocq-brick-libstdcpp/test/dune
index 6621c79..5fc7b9a 100644
--- a/rocq-brick-libstdcpp/test/dune
+++ b/rocq-brick-libstdcpp/test/dune
@@ -27,6 +27,7 @@
   skylabs.elpi.extra
   skylabs.elpi.cpp
   skylabs
+  tactic_classes
   ; skylabs.brick.libstdcpp deps end
   skylabs.brick.libstdcpp))
 (include dune.inc)