X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.h;h=ac69fa1163bfdfb3d8aff5a1f4ad249cdecb54e0;hb=01237c41090e450db348ef0045a3d3cfd23cd041;hp=801af0d839c7beb274aaadc66c719f627f2713a7;hpb=2249feff844a43a5acf24524e6a48a7b7dc9258f;p=model-checker.git

diff --git a/schedule.h b/schedule.h
index 801af0d..ac69fa1 100644
--- a/schedule.h
+++ b/schedule.h
@@ -4,6 +4,6 @@
 #include "libthreads.h"
 
 void schedule_add_thread(struct thread *t);
-int schedule_choose_next(struct thread **t);
+struct thread *schedule_choose_next(void);
 
 #endif /* __SCHEDULE_H__ */