From c7947b41fb2bb989602efc30341525da4efab7e5 Mon Sep 17 00:00:00 2001
From: Ali Caglayan
Date: Tue, 25 Aug 2020 13:30:14 +0200
Subject: added coq.vernac dependency to numeral_notations plugin

---
 META.coq.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/META.coq.in b/META.coq.in
index 97df6c2caa..d1240effdd 100644
--- a/META.coq.in
+++ b/META.coq.in
@@ -521,7 +521,7 @@ package "plugins" (
     description = "Coq numeral notation plugin"
     version 	= "8.13"
 
-    requires    = ""
+    requires    = "coq.vernac"
     directory 	= "numeral_notation"
 
     archive(byte)    = "numeral_notation_plugin.cmo"
-- 
cgit v1.2.3