Fix typo.

SRI-CSL · Sep 23, 2023 · d704c3a · d704c3a
1 parent dddb30f
commit d704c3a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mt/yices_locks_posix.c b/src/mt/yices_locks_posix.c
@@ -53,7 +53,7 @@ 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));
 #endif
 
   return 0;