From 043fc77bbc259cfa83e31fc456cdf6a098c2f757 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Mon, 7 May 2007 16:00:32 +0000
Subject: [PATCH] Document -fspec-threshold

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

Replaces -flibereate-case-threshold.
---
 docs/users_guide/flags.xml |    7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index b2c398d..48cf03a 100644
--- 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>
-- 
1.7.10.4