From ca97b1a758a918dfa594e5759eda21b1da672265 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 3 May 2019 12:09:16 +0200
Subject: Fix #10054: Numeral Notations without the ltac plugin.

It was fairly easy, the plugin defined an argument that was only used in
a vernacular extension. Thus marking it as VERNAC was enough not to link
to Ltac.
---
 plugins/syntax/plugin_base.dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/syntax/plugin_base.dune')

diff --git a/plugins/syntax/plugin_base.dune b/plugins/syntax/plugin_base.dune
index aac46338ea..7a23581768 100644
--- a/plugins/syntax/plugin_base.dune
+++ b/plugins/syntax/plugin_base.dune
@@ -3,7 +3,7 @@
  (public_name coq.plugins.numeral_notation)
  (synopsis "Coq numeral notation plugin")
  (modules g_numeral numeral)
- (libraries coq.plugins.ltac))
+ (libraries coq.vernac))
 
 (library
  (name string_notation_plugin)
-- 
cgit v1.2.3