X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.c;h=0cb1648c26230d2d4a79803a688b903870fbc4c5;hb=dcd84cc88d70497bdc173c4bb78ce30afe4fb5c5;hp=f4f1c13df96232f545423b00fbc968c9c8bd1361;hpb=bc8b25511308f54b4ced6e9b70d2e987d612b4af;p=model-checker.git

diff --git a/schedule.c b/schedule.c
index f4f1c13..0cb1648 100644
--- a/schedule.c
+++ b/schedule.c
@@ -73,7 +73,7 @@ static struct thread *default_thread_current(void)
 	return current;
 }
 
-void scheduler_init(struct model_checker *mod)
+void scheduler_init(ModelChecker *mod)
 {
 	struct scheduler *sched;