Fix typo.

SRI-CSL · Sep 23, 2023 · 88e4649 · 88e4649
1 parent d704c3a
commit 88e4649
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/mt/yices_locks_posix.c b/src/mt/yices_locks_posix.c
@@ -53,7 +53,8 @@ int32_t create_yices_lock(yices_lock_t* lock){
 		   "create_yices_lock: pthread_mutex_init");
 
 #ifndef NDEBUG
-  check_thread_api(pthread_mutexattr_destroy(mattr));
+  check_thread_api(pthread_mutexattr_destroy(mattr),
+		   "create_yices_lock: pthread_mutexattr_destroy");
 #endif
 
   return 0;