more reformatting/indentation

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index e9f6cbb9287e926cc6978524f864066c84ebc7f3..1791605b7c38842c37d11553c37f663c9dc88c38 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -3,8 +3,8 @@
 #include "common.h"
 #include "model.h"
 
-Scheduler::Scheduler(): 
-current(NULL) 
+Scheduler::Scheduler() :
+       current(NULL)
 {
 }