Comnentsry: Fix `--trace` flag description in docs (#6884)

This commit is contained in:
Luca Colagrande 2026-01-06 13:16:35 +01:00 committed by GitHub
parent d5784b8cf2
commit f9f7a7146d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -1733,7 +1733,7 @@ Summary:
:vlopt:`--trace-vcd` instead.
Using :vlopt:`--trace` without :vlopt:`--trace-fst` nor
:vlopt:`--trace-fst` requests VCD traces.
:vlopt:`--trace-saif` requests VCD traces.
Using :vlopt:`--trace` :vlopt:`--trace-fst` requests FST traces.