X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=345d694c8f5e030b884c97e77d9156373b14ba35;hb=29897cfe9c9cf1363b89f4eb177c85329a8ca1e5;hp=d706f11083bdd356269e5168fc32a81169f449b5;hpb=1d051fbc5df6586298357580fd48de1a51e645b4;p=ghc-hetmet.git

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index d706f11..345d694 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -818,10 +818,10 @@
 	      <entry><option>-XNoUnliftedFFITypes</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-XPartiallyAppliedClosedTypeSynonyms</option></entry>
-	      <entry>Enable partially applied type synonyms.</entry>
+	      <entry><option>-XLiberalTypeSynonyms</option></entry>
+	      <entry>Enable <link linkend="type-synonyms">liberalised type synonyms</link>.</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-XNoPartiallyAppliedClosedTypeSynonyms</option></entry>
+	      <entry><option>-XNoLiberalTypeSynonyms</option></entry>
 	    </row>
 	    <row>
 	      <entry><option>-XNoRank2Types</option></entry>