thread: remove dead Thread code

[model-checker.git] / threads.h

diff --git a/threads.h b/threads.h
index 490081afe882c41b0bfec641740f43c4e99d90ed..69bd115c4a88243657ce8f92088962f97249dccb 100644 (file)
--- 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();