Fix typo: -XNoRank2Types -> -XRank2Types

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 298c889..76d9829 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -826,7 +826,7 @@
              <entry><option>-XNoLiberalTypeSynonyms</option></entry>
            </row>
            <row>
-             <entry><option>-XNoRank2Types</option></entry>
+             <entry><option>-XRank2Types</option></entry>
              <entry>Enable rank-2 types.</entry>
              <entry>dynamic</entry>
              <entry><option>-XNoRank2Types</option></entry>