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 8d319ad42d..9e08b83f6b 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 @code{_Internal_errors_What_happened}. This structure +variable @code{_Internal_errors_What_happened}. This @value{STRUCTURE} contains three pieces of information: @itemize @bullet |