fix norris mentioned bug
[c11tester.git] / threads-model.h
index fd0314ad6b9fa34ac5a42c0fd9cfd94f6f552753..30acd2deba1f50e27a15d1c2d74a649809cf004a 100644 (file)
@@ -41,7 +41,7 @@ class ModelAction;
 class Thread {
 public:
        Thread(thread_id_t tid);
-       Thread(thrd_t *t, void (*func)(void *), void *a);
+       Thread(thrd_t *t, void (*func)(void *), void *a, Thread * parent_thrd = NULL);
        ~Thread();
        void complete();