From 88e46491182753b7023c87e4de55bc821f3be9ba Mon Sep 17 00:00:00 2001
From: Mark Mitchell <mark.mitchell@sri.com>
Date: Sat, 23 Sep 2023 11:21:54 -0700
Subject: [PATCH] Fix typo.

---
 src/mt/yices_locks_posix.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/mt/yices_locks_posix.c b/src/mt/yices_locks_posix.c
index 4ab6e1665..821b809df 100644
--- 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;