diff options
| -rw-r--r-- | doc/user/timer.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/timer.t b/doc/user/timer.t index bc9ad0dfa8..cbca2a868e 100644 --- a/doc/user/timer.t +++ b/doc/user/timer.t @@ -77,7 +77,7 @@ sometimes referred to as a "keep alive" or a "deadman" timer. @subsection Timer Service Routines The timer service routine should adhere to @value{LANGUAGE} calling -conventions and have a prototype similar to the following:: +conventions and have a prototype similar to the following: @ifset is-C @example |