X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=threads-model.h;fp=threads-model.h;h=5756c1029688fb6fd9d29616291d496129592f7a;hp=c6078200f5911f5bf3dd78f80125b881683e1a0e;hb=c6d52a276448fdaaec65fe5a2e126c301d537c40;hpb=c99f2a983be16a2c2c734ab4a9ab7f309026036d

diff --git a/threads-model.h b/threads-model.h
index c6078200..5756c102 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);