fix bug

[c11tester.git] / threads-model.h

diff --git a/threads-model.h b/threads-model.h
index 513142b53c41734832c1110f3d5dff4ae5baf1f0..02f20b030778420d46a247e7a3980f34bf20396b 100644 (file)
--- a/threads-model.h
+++ b/threads-model.h
@@ -50,7 +50,6 @@ public:
        static int swap(ucontext_t *ctxt, Thread *t);
        static int swap(Thread *t, ucontext_t *ctxt);
 
-       void setContext();
        thread_state get_state() const { return state; }
        void set_state(thread_state s);
        thread_id_t get_id() const;
@@ -162,6 +161,7 @@ private:
 };
 
 Thread * thread_current();
+void thread_startup();
 
 static inline thread_id_t thrd_to_id(thrd_t t)
 {