From 9948bbbfbeff139baded10a6d3199aa5d31158c3 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 10 Apr 2026 13:13:59 +0200
Subject: [PATCH] Adapt to https://github.com/rocq-prover/stdlib/pull/251

---
 theories/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/dune b/theories/dune
index 425791ca..a9a7c939 100644
--- a/theories/dune
+++ b/theories/dune
@@ -1,7 +1,7 @@
 (coq.theory
  (name Waterproof)
  (package coq-waterproof)
- (theories Stdlib Ltac2)
+ (theories micromega_plugin Stdlib Ltac2)  ; we need micromega_plugin because dune doesn't handle transitive dependencies
  (plugins coq-waterproof.plugin rocq-runtime.plugins.ltac rocq-runtime.plugins.ltac2))
 
 (include_subdirs qualified)