1 files changed, 6 insertions, 0 deletions
diff --git a/dune b/dune
index 27c5e972fe..0a0ff213ed 100644
--- a/dune
+++ b/dune
@@ -1,3 +1,9 @@
+; Default flags for all Coq libraries.
+(env
+ (dev     (flags :standard -rectypes -w -9-27-50+60))
+ (release (flags :standard -rectypes)))
+
+; Rules for coq_dune
 (rule
  (targets .vfiles.d)
  (deps