diff options
Diffstat (limited to 'c/src/exec/score/src/coremutexsurrender.c')
| -rw-r--r-- | c/src/exec/score/src/coremutexsurrender.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/c/src/exec/score/src/coremutexsurrender.c b/c/src/exec/score/src/coremutexsurrender.c index d64badae1f..7eb1497c9f 100644 --- a/c/src/exec/score/src/coremutexsurrender.c +++ b/c/src/exec/score/src/coremutexsurrender.c @@ -81,6 +81,7 @@ CORE_mutex_Status _CORE_mutex_Surrender( /* should never occur */ return CORE_MUTEX_STATUS_NESTING_NOT_ALLOWED; case CORE_MUTEX_NESTING_BLOCKS: + /* Currently no API exercises this behavior. */ break; } } |