X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Fops.h;h=8b082025348ffaeab34916512eb55368068473d9;hb=117241b1cd873bad6f955819112cafed8aa29616;hp=a26d1cd5068d6149625fe158eef79e57f3f3d146;hpb=28703eaeadb4b35e607a1d4441b31729177feb19;p=satune.git

diff --git a/src/AST/ops.h b/src/AST/ops.h
index a26d1cd..8b08202 100644
--- a/src/AST/ops.h
+++ b/src/AST/ops.h
@@ -12,9 +12,6 @@ typedef enum CompOp CompOp;
 enum OrderType {SATC_PARTIAL, SATC_TOTAL};
 typedef enum OrderType OrderType;
 
-enum HappenedBefore {SATC_FIRST, SATC_SECOND, SATC_UNORDERED};
-typedef enum HappenedBefore HappenedBefore;
-
 /**
  *    SATC_FLAGFORCESOVERFLOW forces the operation to overflow if the boolean flag is true
  *  SATC_OVERFLOWSETSFLAG -- sets the flag if the operation overflows