diff options
Diffstat (limited to 'c/src/exec/score/src/coremsg.c')
-rw-r--r-- | c/src/exec/score/src/coremsg.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/c/src/exec/score/src/coremsg.c b/c/src/exec/score/src/coremsg.c index 1300b49951..2d1eca624b 100644 --- a/c/src/exec/score/src/coremsg.c +++ b/c/src/exec/score/src/coremsg.c @@ -131,7 +131,7 @@ void _CORE_message_queue_Close( { if ( the_message_queue->number_of_pending_messages != 0 ) - (void) _CORE_message_queue_Flush_support( the_message_queue ); + (void) _CORE_message_queue_Flush_support( the_message_queue ); else _Thread_queue_Flush( &the_message_queue->Wait_queue, |