X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.h;h=c633b28987d7ef97da5d1130060021260e65b0f6;hb=be5073a74591e8a9708219dac0da7217c0800ba2;hp=86e4e40da18c5bc41bfd3908d76b4c48dc80b20b;hpb=5e2338d51de26e3ea875587f62b095c5d0111ae2;p=c11tester.git

diff --git a/schedule.h b/schedule.h
index 86e4e40d..c633b289 100644
--- a/schedule.h
+++ b/schedule.h
@@ -9,6 +9,7 @@
 class Scheduler {
 public:
 	void add_thread(Thread *t);
+	void remove_thread(Thread *t);
 	Thread * next_thread(void);
 	Thread * get_current_thread(void);
 	void print();