X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;h=30acd2deba1f50e27a15d1c2d74a649809cf004a;hb=3f77119600ac3aa246258dec2776056d09f8e4e0;hp=fd0314ad6b9fa34ac5a42c0fd9cfd94f6f552753;hpb=09c3eb5539455e82dcb357fbce82bf5974c3a37c;p=model-checker.git

diff --git a/threads-model.h b/threads-model.h
index fd0314a..30acd2d 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -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();