X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;fp=threads-model.h;h=513142b53c41734832c1110f3d5dff4ae5baf1f0;hb=c56ca6ef155dc69125bfc53bf9893016b699a0c2;hp=61e3569bbdfe8a9f09efb8e354eacc119257d8ab;hpb=c44681494532fc9b3cec1e9148324025a635017b;p=c11tester.git

diff --git a/threads-model.h b/threads-model.h
index 61e3569b..513142b5 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -50,6 +50,7 @@ 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;