On Thu, Dec 04, 2025 at 08:54:52AM +0530, Soham Metha wrote: > diff --git a/Documentation/trace/rv/da_monitor_instrumentation.rst > b/Documentation/trace/rv/da_monitor_instrumentation.rst > index 6c67c7b57811..9eff38a4ad1f 100644 > --- a/Documentation/trace/rv/da_monitor_instrumentation.rst > +++ b/Documentation/trace/rv/da_monitor_instrumentation.rst > @@ -162,10 +162,10 @@ For example, from the wip sample model:: > > The probes then need to be detached at the disable phase. > > -[1] The wip model is presented in:: > +[1] The wip model is presented in: > > Documentation/trace/rv/deterministic_automata.rst > > -The wip monitor is presented in:: > +The wip monitor is presented in: > > - Documentation/trace/rv/da_monitor_synthesis.rst > + Documentation/trace/rv/monitor_synthesis.rst
Looks good, thanks!
Fixes: f40a7c06020709 ("Documentation/rv: Prepare monitor synthesis document
for LTL inclusion")
Reviewed-by: Bagas Sanjaya <[email protected]>
--
An old man doll... just what I always wanted! - Clara
signature.asc
Description: PGP signature
