Edit

[satune.git] / src / ASTTransform / varorderingopt.cc

diff --git a/src/ASTTransform/varorderingopt.cc b/src/ASTTransform/varorderingopt.cc
index 52beda98720241feeb1d894a7bfdfb4ef725e004..890afd97009d0efa11a865e288ad902fe8a0d84d 100644 (file)
--- a/src/ASTTransform/varorderingopt.cc
+++ b/src/ASTTransform/varorderingopt.cc
@@ -32,7 +32,7 @@ void VarOrderingOpt::doTransform() {
        }
 
        uint size = solver->allElements.getSize();
        }
 
        uint size = solver->allElements.getSize();

-       if (direction == CHORONOLOGICALORDERING) {
+       if (direction == ELEMENTORDERING) {

                for (uint i = 0; i < size; i++) {
                        Element *el = solver->allElements.get(i);
                        ElementEncoding *encoding = el->getElementEncoding();
                for (uint i = 0; i < size; i++) {
                        Element *el = solver->allElements.get(i);
                        ElementEncoding *encoding = el->getElementEncoding();