diff options
| author | Gopi Krishna Menon <krishnagopi487@gmail.com> | 2025-08-10 16:42:48 +0530 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2025-08-12 12:41:20 -0600 |
| commit | 70d476b63a1494337f2b9fec1e9b1cab2e6116d3 (patch) | |
| tree | 7edc6bb617dedcf93ed382bc80cb118aa5c67b3f | |
| parent | 0e6bb6888791656c3973f26da3288323524573c0 (diff) | |
Documentation/rv: Fix minor typo in monitor_synthesis page
Specifically, fix spelling of "practice"
Signed-off-by: Gopi Krishna Menon <krishnagopi487@gmail.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Link: https://lore.kernel.org/r/20250810111249.93181-1-krishnagopi487@gmail.com
| -rw-r--r-- | Documentation/trace/rv/monitor_synthesis.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/trace/rv/monitor_synthesis.rst b/Documentation/trace/rv/monitor_synthesis.rst index ac808a7554f5..3a7d7b2f6cb6 100644 --- a/Documentation/trace/rv/monitor_synthesis.rst +++ b/Documentation/trace/rv/monitor_synthesis.rst @@ -181,7 +181,7 @@ which is the list of atomic propositions present in the LTL specification functions interacting with the Buchi automaton. While generating code, `rvgen` cannot understand the meaning of the atomic -propositions. Thus, that task is left for manual work. The recommended pratice +propositions. Thus, that task is left for manual work. The recommended practice is adding tracepoints to places where the atomic propositions change; and in the tracepoints' handlers: the Buchi automaton is executed using:: |