From 3a2af18717a9907f6cbbff7f5c86235298ebdc82 Mon Sep 17 00:00:00 2001 From: Gregory Malecha Date: Tue, 5 May 2026 13:07:17 -0400 Subject: [PATCH] Introduce the new dependency --- rocq-brick-libstdcpp/proof/dune | 1 + rocq-brick-libstdcpp/test/dune | 1 + 2 files changed, 2 insertions(+) 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)