diff options
Diffstat (limited to 'vernac')
| -rw-r--r-- | vernac/dune | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vernac/dune b/vernac/dune index 45b567d631..4673251002 100644 --- a/vernac/dune +++ b/vernac/dune @@ -3,6 +3,7 @@ (synopsis "Coq's Vernacular Language") (public_name coq.vernac) (wrapped false) + (flags :standard -open Gramlib) (libraries tactics parsing)) (rule |