From 91087bcf03ac6428dad88729716114e622d50103 Mon Sep 17 00:00:00 2001 From: Roman Leshchinskiy Date: Fri, 14 Dec 2007 00:30:03 +0000 Subject: [PATCH] Document the new threshold flags --- docs/users_guide/flags.xml | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index abcca5d..1da736b 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1292,6 +1292,13 @@ + =n + Set the size threshold for the SpecConstr transformation to n (default: 200) + static + + + + Turn on the liberate-case transformation. Implied by . dynamic @@ -1299,11 +1306,10 @@ - =n - Set the size threshold for function specialisation to n, for both - the liberate-case and SpecConstr transformations (default: 200) + =n + Set the size threshold for the liberate-case transformation to n (default: 200) static - + -- 1.7.10.4