diff options
| author | Ali Caglayan | 2020-08-25 14:43:41 +0200 |
|---|---|---|
| committer | Ali Caglayan | 2020-08-25 14:43:41 +0200 |
| commit | 7da4b8df48d959297e1e4f9e6cc508cf1f0b8be0 (patch) | |
| tree | 2ea4e7360329c38c090f621cef93c2d1e77603a3 | |
| parent | c7947b41fb2bb989602efc30341525da4efab7e5 (diff) | |
added coq.vernac dependency to string_notations plugin
| -rw-r--r-- | META.coq.in | 2 |
1 files changed, 1 insertions, 1 deletions
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" |