From 7da4b8df48d959297e1e4f9e6cc508cf1f0b8be0 Mon Sep 17 00:00:00 2001
From: Ali Caglayan
Date: Tue, 25 Aug 2020 14:43:41 +0200
Subject: added coq.vernac dependency to string_notations plugin

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

diff --git a/META.coq.in b/META.coq.in
index d1240effdd..883a7286e4 100644
--- a/META.coq.in
+++ b/META.coq.in
@@ -507,7 +507,7 @@ package "plugins" (
     description = "Coq string_notation plugin"
     version     = "8.13"
 
-    requires    = ""
+    requires    = "coq.vernac"
     directory   = "syntax"
 
     archive(byte)    = "string_notation_plugin.cmo"
-- 
cgit v1.2.3