X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cgoal.h;h=e04fc4eb030e28ed6fbb30e2267e90248b06dad1;hb=c8a74edea90ccd70bc7de522a2ffe0530d3d3793;hp=33740623a8f9cd26e0a4eea101d090184ec176f5;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/cgoal.h b/cgoal.h
index 3374062..e04fc4e 100644
--- a/cgoal.h
+++ b/cgoal.h
@@ -15,7 +15,7 @@
 #include <stdint.h>
 
 class CGoal {
- public:
+public:
 	CGoal(unsigned int num, uint64_t *vals);
 	~CGoal();
 	unsigned int getNum() {return num;}
@@ -25,12 +25,12 @@ class CGoal {
 	void print();
 
 	MEMALLOC;
- private:
+private:
 	uint64_t * valarray;
 	uint64_t outputvalue;
 	unsigned int num;
 	unsigned int hash;
-	
+
 	friend bool CGoalEquals(CGoal *cg1, CGoal *cg2);
 	friend unsigned int CGoalHash(CGoal *cg);
 };