Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

[satune.git] / src / AST / ops.h

diff --git a/src/AST/ops.h b/src/AST/ops.h
index 40e6f9933a05180f45614b433a6b3094dc406169..3990aec8080b666088ed96ba1d151a0e5a7692b4 100644 (file)
--- a/src/AST/ops.h
+++ b/src/AST/ops.h
@@ -14,4 +14,6 @@ enum OrderType {PARTIAL, TOTAL};
  */
 enum OverFlowBehavior {IGNORE, WRAPAROUND, FLAGFORCESOVERFLOW, OVERFLOWSETSFLAG, FLAGIFFOVERFLOW};
 
+enum BooleanType {_ORDER, _BOOLEAN};
+
 #endif