1 files changed, 1 insertions, 1 deletions
diff --git a/stm/dune b/stm/dune
index 27d561334e..5fcf96b71e 100644
--- a/stm/dune
+++ b/stm/dune
@@ -1,6 +1,6 @@
 (library
  (name stm)
  (synopsis "Coq's Document Manager and Proof Checking Scheduler")
- (public_name coq.stm)
+ (public_name coq-core.stm)
  (wrapped false)
  (libraries sysinit))