diff --git a/drd/drd_mutex.c b/drd/drd_mutex.c index 65cf04632..cf5a4a86e 100644 --- a/drd/drd_mutex.c +++ b/drd/drd_mutex.c @@ -464,6 +464,8 @@ const char* DRD_(mutex_type_name)(const MutexT mt) return "mutex"; case mutex_type_spinlock: return "spinlock"; + case mutex_type_order_annotation: + return "order annotation mutex"; default: tl_assert(0); }