diff options
| -rw-r--r-- | docs/UsersManual.rst | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/docs/UsersManual.rst b/docs/UsersManual.rst index ac66bd3f0f..f92eb9c5bc 100644 --- a/docs/UsersManual.rst +++ b/docs/UsersManual.rst @@ -854,9 +854,7 @@ are listed below. suspicious integer behavior. - .. _opt_fsanitize_thread: - ``-fsanitize=thread``: :doc:`ThreadSanitizer`, - an *experimental* data race detector. Not ready for widespread - use. + ``-fsanitize=thread``: :doc:`ThreadSanitizer`, a data race detector. - .. _opt_fsanitize_undefined: ``-fsanitize=undefined``: Fast and compatible undefined behavior |