X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=schedule.h;fp=schedule.h;h=121da08db05a3d0d735c4ca34926006b364c85cb;hb=b3786419ac8bbc47f33038b1d6c595a70490e634;hp=10312326528fadd4ad6e39f113030068d0cb19b7;hpb=0c429b461653b8e02e515819d89b7acd241996ca;p=c11tester.git

diff --git a/schedule.h b/schedule.h
index 10312326..121da08d 100644
--- a/schedule.h
+++ b/schedule.h
@@ -27,7 +27,8 @@ public:
 	void remove_thread(Thread *t);
 	void sleep(Thread *t);
 	void wake(Thread *t);
-	Thread * next_thread(Thread *t);
+	Thread * select_next_thread();
+	void set_current_thread(Thread *t);
 	Thread * get_current_thread() const;
 	void print() const;
 	enabled_type_t * get_enabled_array() const { return enabled; };