diff options
Diffstat (limited to 'cpukit/score/src/userext.c')
-rw-r--r-- | cpukit/score/src/userext.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cpukit/score/src/userext.c b/cpukit/score/src/userext.c index c2cc79fd07..ddb847e590 100644 --- a/cpukit/score/src/userext.c +++ b/cpukit/score/src/userext.c @@ -199,5 +199,3 @@ void _User_extensions_Fatal ( (*the_extension->Callouts.fatal)( the_source, is_internal, the_error ); } } - - |