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

[model-checker.git] / schedule.h

diff --git a/schedule.h b/schedule.h
index bae8c1f8e2ce136206d42325dfbba6954e81c7c5..28f5b8d0fa864794f54f6b5788aec859412b8b8f 100644 (file)
--- a/schedule.h
+++ b/schedule.h
@@ -14,6 +14,6 @@ struct scheduler {
        void *priv;
 };
 
-void scheduler_init(struct model_checker *mod);
+void scheduler_init(ModelChecker *mod);
 
 #endif /* __SCHEDULE_H__ */