diff options
Diffstat (limited to 'doc/user/userext.t')
| -rw-r--r-- | doc/user/userext.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/userext.t b/doc/user/userext.t index 2bb4c81006..2a6fad440a 100644 --- a/doc/user/userext.t +++ b/doc/user/userext.t @@ -466,7 +466,7 @@ This extension should have a prototype similar to the following: rtems_extension user_fatal_error( Internal_errors_Source the_source, rtems_boolean is_internal, - rtems_unsigned32 the_error + uint32_t the_error ); @end example @end ifset |