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