diff options
| -rw-r--r-- | docs/UsersManual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/UsersManual.html b/docs/UsersManual.html index 933e4e006b..4e7cdf0b8e 100644 --- a/docs/UsersManual.html +++ b/docs/UsersManual.html @@ -674,7 +674,7 @@ In general, this usage is discouraged. Instead, we prefer that users file bugs against the analyzer when it flags false positives. There is also active discussion of allowing users in the future to selectively silence specific analyzer warnings (some of which can already be done using <a -href="analyzer_annotations">annotations</a>).</li> +href="#analyzer_annotations">annotations</a>).</li> </ul> |