diff --git a/csug/system.stex b/csug/system.stex
index dd320f657b..b57f48e9ee 100644
--- a/csug/system.stex
+++ b/csug/system.stex
@@ -1132,6 +1132,7 @@ generate-interrupt-trap
 enable-cross-library-optimization
 enable-arithmetic-left-associative
 enable-error-source-expression
+enable-type-recovery
 \endschemedisplay
 
 It restores the values after the file has been compiled.
@@ -2837,6 +2838,18 @@ would be reduced to \scheme{3628800}, but
 would be left unchanged, although the optimizer may take a while to
 reach this decision if the effort and outer unroll limits are large.
 
+%----------------------------------------------------------------------------
+\entryheader
+\formdef{enable-type-recovery}{\categorythreadparameter}{enable-type-recovery}
+\listlibraries
+\endentryheader
+
+A parameter that controls whether the compiler attempts to improve
+programs by performing a pass similar to type inference, which can
+avoid more checks and statically resolve more predicates than
+\scheme{cp0} by itself, but at the cost of extra compile time. The
+default is \scheme{#t}.
+
 %----------------------------------------------------------------------------
 \entryheader
 \formdef{commonization-level}{\categorythreadparameter}{commonization-level}