fix spacing with make tabbing

[satcheck.git] / execpoint.h

diff --git a/execpoint.h b/execpoint.h
index 74344ead03fcda600ad5ad2b86da6dbcb8c211aa..74650eda1e94c77322ddbcbc201b28fe19d9bf18 100644 (file)
--- 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;