fix spacing with make tabbing

[satcheck.git] / planner.h

diff --git a/planner.h b/planner.h
index 9f35ddd39060f09b7ff1409375cdd9b23830e539..7ee76f18ea12f2d4ec64b9d8dfa6702b10bb6ecc 100644 (file)
--- a/planner.h
+++ b/planner.h
@@ -20,7 +20,7 @@ typedef HSIterator<MCChange *, intptr_t, 0, model_malloc, model_calloc, model_fr
 enum PlanResult {NOSCHEDULE, SCHEDULED};
 
 class Planner {
- public:
+public:
        Planner(MCExecution * e);
        ~Planner();
        bool is_finished();
@@ -35,7 +35,7 @@ class Planner {
        bool checkConstGraph(EPRecord *record, uint64_t val);
        void registerValue(EPRecord *record, uint64_t val, unsigned int index);
        ConstGen * getConstGen() {return cgen;}
-       
+
        MEMALLOC;
 
 private: