bug fixes

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

diff --git a/src/AST/order.cc b/src/AST/order.cc
index 315b112d1c2aae07dec86b71dfb8a7db345e29a1..2b3184a5947f3a882b5aba7a1e240d58d4a5eab8 100644 (file)
--- a/src/AST/order.cc
+++ b/src/AST/order.cc
@@ -33,7 +33,7 @@ Order *Order::clone(CSolver *solver, CloneMap *map) {
 
 HashtableOrderPair *Order::getOrderPairTable() {
        ASSERT( encoding.resolver != NULL);
-       if (OrderPairResolver *t = dynamic_cast<OrderPairResolver *>(encoding.resolver)) {
+       if (OrderPairResolver * t = dynamic_cast<OrderPairResolver *>(encoding.resolver)) {
                return t->getOrderPairTable();
        } else {
                ASSERT(0);