Bug fix ...

[satune.git] / src / Backend / orderpair.h

diff --git a/src/Backend/orderpair.h b/src/Backend/orderpair.h
index f65064819da76d111fc87d1eb9862971c7e7fe86..7c1cabdcf962ed8c713fde165e72b28c8c0e204d 100644 (file)
--- a/src/Backend/orderpair.h
+++ b/src/Backend/orderpair.h
@@ -18,11 +18,11 @@ public:
        OrderPair();
        virtual ~OrderPair();
        virtual Edge getConstraint();
-       virtual bool getConstraintValue(CSolver* solver);
+       virtual bool getConstraintValue(CSolver *solver);
        //for the cases that we swap first and second ... For total order is straight forward.
        // but for partial order it has some complexity which should be hidden ... -HG
        virtual Edge getNegatedConstraint();
-       virtual bool getNegatedConstraintValue(CSolver* solver);
+       virtual bool getNegatedConstraintValue(CSolver *solver);
        uint64_t first;
        uint64_t second;
        CMEMALLOC;