X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;h=8047e1f33d963d001fab179feab210c405ed7f34;hb=c7a5091afba87a67423c0797fa001914ce9e2ff4;hp=f0b88bb25fea3abd10f8048ac55251460b99dca5;hpb=5ae0e0f1ddfb52b9c3ecef6e8fcc19ba00597545;p=c11tester.git

diff --git a/threads-model.h b/threads-model.h
index f0b88bb2..8047e1f3 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -49,6 +49,7 @@ public:
 
 	static int swap(ucontext_t *ctxt, Thread *t);
 	static int swap(Thread *t, ucontext_t *ctxt);
+	static int swap(Thread *t, Thread *t2);
 
 	thread_state get_state() const { return state; }
 	void set_state(thread_state s);