X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execpoint.h;fp=execpoint.h;h=74650eda1e94c77322ddbcbc201b28fe19d9bf18;hb=086658309f67c28dc254b06bda5bafa8c3e191d6;hp=74344ead03fcda600ad5ad2b86da6dbcb8c211aa;hpb=5f3838b041321eb417737eed51c8639266c0d77c;p=satcheck.git

diff --git a/execpoint.h b/execpoint.h
index 74344ea..74650ed 100644
--- a/execpoint.h
+++ b/execpoint.h
@@ -21,7 +21,7 @@ enum ExecPointType {EP_BRANCH, EP_COUNTER, EP_LOOP};
 enum CompareResult {CR_BEFORE, CR_AFTER, CR_EQUALS, CR_INCOMPARABLE};
 
 class ExecPoint {
- public:
+public:
 	ExecPoint(int length, thread_id_t thread_id);
 	ExecPoint(ExecPoint * e);
 	~ExecPoint();
@@ -40,7 +40,7 @@ class ExecPoint {
 	void print();
 	void print(int f);
 	MEMALLOC;
- private:
+private:
 	unsigned int length;
 	unsigned int size;
 	execcount_t * pairarray;