model: change 'struct model_checker' to 'class ModelChecker'

[model-checker.git] / schedule.c

diff --git a/schedule.c b/schedule.c
index f4f1c13df96232f545423b00fbc968c9c8bd1361..0cb1648c26230d2d4a79803a688b903870fbc4c5 100644 (file)
--- 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;