diff options
| -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" |