diff --git a/docs/manual/nullness-checker.tex b/docs/manual/nullness-checker.tex index 4679a7497cf..2b0e2805f94 100644 --- a/docs/manual/nullness-checker.tex +++ b/docs/manual/nullness-checker.tex @@ -12,7 +12,9 @@ \refqualclass{checker/nullness/qual}{Nullable}. \refqualclass{checker/nullness/qual}{NonNull} is rarely written, because it is the default. All of the annotations are explained in -Section~\ref{nullness-annotations}. +Section~\ref{nullness-annotations}. Things are a bit more complicated +(including the defaults) when one deals with a generic type, see +Section~\ref{generics}. To run the Nullness Checker, supply the \code{-processor org.checkerframework.checker.nullness.NullnessChecker}