X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=planner.h;fp=planner.h;h=7ee76f18ea12f2d4ec64b9d8dfa6702b10bb6ecc;hb=086658309f67c28dc254b06bda5bafa8c3e191d6;hp=9f35ddd39060f09b7ff1409375cdd9b23830e539;hpb=5f3838b041321eb417737eed51c8639266c0d77c;p=satcheck.git

diff --git a/planner.h b/planner.h
index 9f35ddd..7ee76f1 100644
--- 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: