X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.h;h=69bd115c4a88243657ce8f92088962f97249dccb;hb=a6f86729fc2e64ae7286d74094cb2f9d7745c17a;hp=490081afe882c41b0bfec641740f43c4e99d90ed;hpb=8fecd5d2f3d65a38efd01f537948a717171d7e08;p=model-checker.git

diff --git a/threads.h b/threads.h
index 490081a..69bd115 100644
--- a/threads.h
+++ b/threads.h
@@ -19,7 +19,6 @@ public:
 	void * operator new(size_t size);
 	void operator delete(void *ptr);
 	Thread(thrd_t *t, void (*func)(), void *a);
-	Thread(thrd_t *t);
 	~Thread();
 	void complete();