From 6a07595a44a9b5e3dc2feed1c1d66038192ad262 Mon Sep 17 00:00:00 2001 From: Iztok Jeras Date: Fri, 26 Dec 2025 01:01:38 +0100 Subject: [PATCH] Commentary: Text formatting fix (#6863) --- docs/guide/exe_verilator.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst index 19cb17896..1fd41da9c 100644 --- a/docs/guide/exe_verilator.rst +++ b/docs/guide/exe_verilator.rst @@ -1737,7 +1737,7 @@ Summary: .. option:: --trace-coverage - With `--trace-*` and ``--coverage-*``, enable tracing to include a + With ``--trace-*`` and ``--coverage-*``, enable tracing to include a traced signal for every :vlopt:`--coverage-line` or :vlopt:`--coverage-user`\ -inserted coverage point, to assist in debugging coverage items. Note :vlopt:`--coverage-toggle` does not get