X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;fp=threads-model.h;h=733d825f243ea5ea32a1bde878f37c97448f77b2;hb=a6ce579c6437ebead8fee2c8df1530d223591318;hp=5fc6d675aba6a9f05b132ded2ad2aed0ad6250d5;hpb=144f1b806679fd9030147f554513d7fce36f65dc;p=model-checker.git

diff --git a/threads-model.h b/threads-model.h
index 5fc6d67..733d825 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 *parent);
+	Thread(thread_id_t tid, thrd_t *t, void (*func)(void *), void *a, Thread *parent);
 	~Thread();
 	void complete();