X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=schedule.h;h=98aef1a7514299cce1a3be93e0b0c3a043ef7b11;hp=da91fddf976c8dd880a57b98476b9e3af76cdffd;hb=21f8ca7067d5d6810ea819a183ea50f863c17752;hpb=7a0167d52294a9707f81a54d74009c6f82346d18

diff --git a/schedule.h b/schedule.h
index da91fddf..98aef1a7 100644
--- a/schedule.h
+++ b/schedule.h
@@ -30,7 +30,7 @@ public:
 	Thread * next_thread(Thread *t);
 	Thread * get_current_thread() const;
 	void print() const;
-	enabled_type_t * get_enabled() { return enabled; };
+	enabled_type_t * get_enabled_array() { return enabled; };
 	void remove_sleep(Thread *t);
 	void add_sleep(Thread *t);
 	enabled_type_t get_enabled(Thread *t);