diff options
Diffstat (limited to 'printing')
| -rw-r--r-- | printing/dune | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/printing/dune b/printing/dune index 3392342165..837ac48009 100644 --- a/printing/dune +++ b/printing/dune @@ -2,5 +2,6 @@ (name printing) (synopsis "Coq's Term Pretty Printing Library") (public_name coq.printing) + (flags :standard -open Gramlib) (wrapped false) (libraries parsing proofs)) |