X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTTransform%2Fvarorderingopt.cc;h=890afd97009d0efa11a865e288ad902fe8a0d84d;hb=9a515eb218f2788ee13b88dc84f3c14bfcf731ef;hp=52beda98720241feeb1d894a7bfdfb4ef725e004;hpb=289610c652ef7791f5aac9f27f4bc2d0a2f6c162;p=satune.git

diff --git a/src/ASTTransform/varorderingopt.cc b/src/ASTTransform/varorderingopt.cc
index 52beda9..890afd9 100644
--- a/src/ASTTransform/varorderingopt.cc
+++ b/src/ASTTransform/varorderingopt.cc
@@ -32,7 +32,7 @@ void VarOrderingOpt::doTransform() {
 	}
 
 	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();