X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.h;h=7f005c078c0c126edfcb5f48af6f220a65b3798b;hb=d57536bfa2339bb6b51c8c72a2198425534b8ff6;hp=5e8cbef50a95648f2b6ac35069620b44b4e433a8;hpb=0696cb09629cd168f122a2e134246d79c3c8fd2c;p=model-checker.git

diff --git a/threads.h b/threads.h
index 5e8cbef..7f005c0 100644
--- a/threads.h
+++ b/threads.h
@@ -35,6 +35,7 @@ class ModelAction;
 /** @brief A Thread is created for each user-space thread */
 class Thread {
 public:
+	Thread(thread_id_t tid);
 	Thread(thrd_t *t, void (*func)(void *), void *a);
 	~Thread();
 	void complete();