1 files changed, 1 insertions, 1 deletions
diff --git a/vernac/dune b/vernac/dune
index ba361b1377..7319b1353c 100644
--- a/vernac/dune
+++ b/vernac/dune
@@ -1,7 +1,7 @@
 (library
  (name vernac)
  (synopsis "Coq's Vernacular Language")
- (public_name coq.vernac)
+ (public_name coq-core.vernac)
  (wrapped false)
  (libraries tactics parsing))