address review comment

typetools · Jan 19, 2024 · c4af094 · c4af094
1 parent 217dd4f
commit c4af094
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/docs/manual/resource-leak-checker.tex b/docs/manual/resource-leak-checker.tex
@@ -635,9 +635,10 @@
 \sectionAndLabel{Resource Leak Checker Annotation Inference Algorithm}{resource-leak-checker-inference-algo}
 
 We have developed a specialized algorithm to infer annotations for
-the Resource Leak Checker. This algorithm runs by default when the
-\<-Ainfer> flag is enabled. To utilize the whole-program inference mechanism outlined in
-section \ref{whole-program-inference} in addition to this mechanism for the Resource
+the Resource Leak Checker. The RLC uses this algorithm by default
+when the \<-Ainfer> flag is passed, instead of the standard
+whole-program-inference (WPI) algorithm described in Section
+\ref{whole-program-inference}. To use WPI in addition to the specialized algorithm for the Resource
 Leak Checker and its sub-checkers, you should provide the \<-AenableWpiForRlc> flag.  The paper
 ``Inference of Resource Management Specifications''~\cite{ShadabGTEKLLS2023} (OOPSLA 2023,
 \myurl{https://homes.cs.washington.edu/~mernst/pubs/resource-inference-oopsla2023-abstract.html})