diff --git a/doc/diagnostics.html b/doc/diagnostics.html index 0ed0e81b92b741..35aae156e8bb85 100644 --- a/doc/diagnostics.html +++ b/doc/diagnostics.html @@ -222,7 +222,7 @@

Tracing

Tracing enables us to: