diff options
Diffstat (limited to 'cpukit/score/src/interr.c')
-rw-r--r-- | cpukit/score/src/interr.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cpukit/score/src/interr.c b/cpukit/score/src/interr.c index 0192dfd71c..a9f1efc8b9 100644 --- a/cpukit/score/src/interr.c +++ b/cpukit/score/src/interr.c @@ -55,8 +55,6 @@ void _Internal_error_Occurred( _Internal_errors_What_happened.is_internal = is_internal; _Internal_errors_What_happened.the_error = the_error; - ++_Internal_errors_What_happened.nest_level; - _User_extensions_Fatal( the_source, is_internal, the_error ); _System_state_Set( SYSTEM_STATE_FAILED ); |