Run tabbing pass

[satune.git] / src / AST / order.h

diff --git a/src/AST/order.h b/src/AST/order.h
index 164578630697960e54f045cff417ed3fc80b2736..8d2124073968ce7a8c4cea3c09df018671b1fd2f 100644 (file)
--- a/src/AST/order.h
+++ b/src/AST/order.h
@@ -9,13 +9,13 @@
 #include "orderpair.h"
 
 class Order {
- public:
+public:
        Order(OrderType type, Set *set);
        ~Order();
        OrderType type;
        Set *set;
        HashTableOrderPair *orderPairTable;
-       HashSetOrderElement* elementTable;
+       HashSetOrderElement *elementTable;
        OrderGraph *graph;
        Vector<BooleanOrder *> constraints;
        OrderEncoding order;