Document -fspec-threshold

This size-threshold flag is for both liberate-case and SpecConstr.

Replaces -flibereate-case-threshold.

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index b2c398d..48cf03a 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1050,10 +1050,11 @@
            </row>
 
            <row>
-             <entry><option>-fliberate-case-threshold</option></entry>
-             <entry>Tweak the liberate-case optimisation (default: 10)</entry>
+             <entry><option>-fspec-threshold</option>=<replaceable>n</replaceable></entry>
+             <entry>Set the size threshold for function specialisation to <replaceable>n</replaceable>, for both
+               the liberate-case and SpecConstr transformations (default: 200)</entry>
              <entry>static</entry>
-             <entry><option>-fno-liberate-case-threshold</option></entry>
+             <entry><option>-</option></entry>
            </row>
 
            <row>