diff --git a/doc/diagnostics.html b/doc/diagnostics.html index 0ed0e81b92..35aae156e8 100644 --- a/doc/diagnostics.html +++ b/doc/diagnostics.html @@ -222,7 +222,7 @@ an execution tracer to trace the runtime events within an interval.

Tracing enables us to: