diff options
Diffstat (limited to 'c/src/exec/score/headers')
| -rw-r--r-- | c/src/exec/score/headers/coremutex.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/c/src/exec/score/headers/coremutex.h b/c/src/exec/score/headers/coremutex.h index 73b7e34417..d9ba197502 100644 --- a/c/src/exec/score/headers/coremutex.h +++ b/c/src/exec/score/headers/coremutex.h @@ -59,7 +59,8 @@ typedef enum { CORE_MUTEX_STATUS_NESTING_NOT_ALLOWED, CORE_MUTEX_STATUS_NOT_OWNER_OF_RESOURCE, CORE_MUTEX_WAS_DELETED, - CORE_MUTEX_TIMEOUT + CORE_MUTEX_TIMEOUT, + CORE_MUTEX_STATUS_CEILING_VIOLATED } CORE_mutex_Status; /* |