X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;h=30acd2deba1f50e27a15d1c2d74a649809cf004a;hb=0997f5bf1b28a79066ed4abfed57f14419ee44d3;hp=fd0314ad6b9fa34ac5a42c0fd9cfd94f6f552753;hpb=30999f20b8426081e676adfc76d1c4af7b941e8e;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();