diff options
Diffstat (limited to 'doc/user/fatal.t')
| -rw-r--r-- | doc/user/fatal.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/fatal.t b/doc/user/fatal.t index 9d85e8297d..8d319ad42d 100644 --- a/doc/user/fatal.t +++ b/doc/user/fatal.t @@ -90,7 +90,7 @@ The fatal_error_occurred directive is invoked when a fatal error is detected. Before invoking any user-supplied fatal error handlers or the RTEMS fatal error handler, the fatal_error_occurred directive stores useful information in the -variable _Internal_errors_What_happened. This structure +variable @code{_Internal_errors_What_happened}. This structure contains three pieces of information: @itemize @bullet |