Fix tabbing
[satune.git] / src / AST / order.h
index e2e0b4310f9304da4bc592983d14567be2a4ef1f..866b1ab95ffa528501ce4056d10583279038273f 100644 (file)
@@ -8,7 +8,7 @@
 #include "boolean.h"
 #include "orderpair.h"
 
-class Order{
+class Order {
 public:
        Order(OrderType type, Set *set);
        virtual ~Order();
@@ -24,7 +24,7 @@ public:
        void initializeOrderElementsHashtable();
        void addOrderConstraint(BooleanOrder *constraint);
        void setOrderEncodingType(OrderEncodingType type);
-       HashtableOrderPairgetOrderPairTable();
+       HashtableOrderPair *getOrderPairTable();
        CMEMALLOC;
 };