Fix apparent bug...

[satcheck.git] / schedulebuilder.h

diff --git a/schedulebuilder.h b/schedulebuilder.h
index be27aac34f726a918b76010ae253f8aa40908431..7ff4bb5a10114ef2e18e6cd2cf21fb9a54942a36 100644 (file)
--- a/schedulebuilder.h
+++ b/schedulebuilder.h
@@ -13,13 +13,13 @@
 #include "stl-model.h"
 
 class ScheduleBuilder {
- public:
+public:
        ScheduleBuilder(MCExecution *_execution, ConstGen *cgen);
        ~ScheduleBuilder();
        void buildSchedule(bool *satsolution);
 
        SNAPSHOTALLOC;
- private:
+private:
        EPRecord * getNextRecord(EPRecord *record);
        EPRecord * processRecord(EPRecord *record, bool * satsolution);
        ConstGen * cg;