diff options
-rw-r--r-- | doc/languages-frameworks/coq.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/languages-frameworks/coq.xml b/doc/languages-frameworks/coq.xml index 43da6a3f49d6..0ce1abd6194c 100644 --- a/doc/languages-frameworks/coq.xml +++ b/doc/languages-frameworks/coq.xml @@ -18,7 +18,7 @@ </para> <para> Coq libraries may be compatible with some specific versions of Coq only. - The <liberal>compatibleCoqVersions</liberal> attribute is used to + The <literal>compatibleCoqVersions</literal> attribute is used to precisely select those versions of Coq that are compatible with this derivation. </para> |