Add mailing list

[c11tester.git] / action.cc

diff --git a/action.cc b/action.cc
index 72cf97246765403360275604d1076501e4a94bf7..f00a14313ed6a3af079c4b771f41ca1dd32c30e4 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -645,6 +645,7 @@ const char * ModelAction::get_type_str() const
        case THREAD_YIELD: return "thread yield";
        case THREAD_JOIN: return "thread join";
        case THREAD_FINISH: return "thread finish";
+       case THREADONLY_FINISH: return "pthread_exit finish";
 
        case PTHREAD_CREATE: return "pthread create";
        case PTHREAD_JOIN: return "pthread join";