X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;h=733d825f243ea5ea32a1bde878f37c97448f77b2;hb=4f0f0dbbeb4a965ac5fb8e6e30d8fcc1cd99eff6;hp=5fc6d675aba6a9f05b132ded2ad2aed0ad6250d5;hpb=2b004336a919f74a5ca8f6d87ad5414360a949c7;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();