1 files changed, 1 insertions, 0 deletions

diff --git a/dev/dune b/dev/dune
index bfa2d525c9..7dfaa616b6 100644
--- a/dev/dune
+++ b/dev/dune
@@ -4,6 +4,7 @@
  (synopsis "Coq's Debug Printers")
  (wrapped false)
  (modules :standard)
+ (optional)
  (libraries coq.toplevel coq.plugins.ltac))
 
 (rule