diff options
Diffstat (limited to 'cpukit/score/src')
| -rw-r--r-- | cpukit/score/src/wkspace.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index f8994c2e8d..568bfc1ce7 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -91,8 +91,7 @@ void _Workspace_Free( __builtin_return_address( 1 ) ); #endif - if (block) - _Heap_Free( &_Workspace_Area, block ); + _Heap_Free( &_Workspace_Area, block ); } /* |