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