diff options
Diffstat (limited to 'cpukit/score/src/userext.c')
-rw-r--r-- | cpukit/score/src/userext.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/score/src/userext.c b/cpukit/score/src/userext.c index be69cf2774..c2cc79fd07 100644 --- a/cpukit/score/src/userext.c +++ b/cpukit/score/src/userext.c @@ -183,7 +183,7 @@ void _User_extensions_Thread_exitted ( void _User_extensions_Fatal ( Internal_errors_Source the_source, boolean is_internal, - unsigned32 the_error + uint32_t the_error ) { Chain_Node *the_node; |