From 9a515eb218f2788ee13b88dc84f3c14bfcf731ef Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Mon, 17 Dec 2018 13:33:37 -0800
Subject: [PATCH] Edit

---
 src/AST/astops.h                   | 2 +-
 src/ASTTransform/varorderingopt.cc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/AST/astops.h b/src/AST/astops.h
index a451c5f..04b4c83 100644
--- a/src/AST/astops.h
+++ b/src/AST/astops.h
@@ -25,7 +25,7 @@ enum ElementEncodingType {
 
 typedef enum ElementEncodingType ElementEncodingType;
 
-enum BooleanVarOrdering {CONSTRAINTORDERING=0, CHORONOLOGICALORDERING=1, REVERSEORDERING=2};
+enum BooleanVarOrdering {CONSTRAINTORDERING=0, ELEMENTORDERING=1, REVERSEORDERING=2};
 typedef enum BooleanVarOrdering BooleanVarOrdering;
 
 Polarity negatePolarity(Polarity This);
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();
-- 
2.34.1