Modify API to work for partial order as well + adding order test case

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

diff --git a/src/AST/ops.h b/src/AST/ops.h
index 5a7f092271868fbc13c82a166a1639fee8ad12e5..32febff340161729dd67fb0e69312038d02923ab 100644 (file)
--- a/src/AST/ops.h
+++ b/src/AST/ops.h
@@ -12,7 +12,7 @@ typedef enum CompOp CompOp;
 enum OrderType {PARTIAL, TOTAL};
 typedef enum OrderType OrderType;
 
-enum HappenedBefore {UNORDERED, FIRST, SECOND};
+enum HappenedBefore {FIRST, SECOND, UNORDERED};
 typedef enum HappenedBefore HappenedBefore;
 
 /**