diff --git a/docs/manual/troubleshooting.tex b/docs/manual/troubleshooting.tex index bf57a12e24f..da2cefc53d5 100644 --- a/docs/manual/troubleshooting.tex +++ b/docs/manual/troubleshooting.tex @@ -182,8 +182,8 @@ incompatible with the Checker Framework. (More precisely, each version of Error Prone before 2.4.0 is compatible with only one specific version of the Checker Framework.) Those versions of Error Prone -use an outdated version of the Checker Framework's dataflow analysis -library, which conflicts with the Checker Framework itself. +use outdated versions of the Checker Framework's dataflow analysis +library, each of which is compatible with only one version of the Checker Framework. If you wish to use both Error Prone and the Checker Framework, then use Error Prone version 2.4.0 or later.