diff options
Diffstat (limited to 'cpukit/score/src')
| -rw-r--r-- | cpukit/score/src/wkspace.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index 3ca3c8387e..546847b82d 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -115,5 +115,9 @@ void *_Workspace_Allocate( size_t size ) void _Workspace_Free( void *block ) { - _Heap_Free( &_Workspace_Area, block ); + bool ok; + + ok = _Heap_Free( &_Workspace_Area, block ); + _Assert( ok ); + (void) ok; } |