X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=1791605b7c38842c37d11553c37f663c9dc88c38;hb=bdef0741b8a01e16946d261bc2a657af5a683b3e;hp=e9f6cbb9287e926cc6978524f864066c84ebc7f3;hpb=72e4ac7e09dac04744d8e1b4d8166a23fd197786;p=model-checker.git

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