1 files changed, 2 insertions, 5 deletions
diff --git a/backend/CSE3analysis.v b/backend/CSE3analysis.v
index 75e00f67..9a6c9c0d 100644
--- a/backend/CSE3analysis.v
+++ b/backend/CSE3analysis.v
@@ -477,13 +477,10 @@ Section OPERATIONS.
     end.
 
   Definition apply_cond cond args (rel : RELATION.t) : RB.t :=
-    if Compopts.optim_CSE3_conditions tt
-    then 
-      match apply_cond1 cond args rel with
+    match apply_cond1 cond args rel with
       | Some rel => Some (apply_cond0 cond args rel)
       | None => RB.bot
-      end
-    else Some rel.
+    end.
       
   Definition apply_instr (tenv : typing_env) (instr : RTL.instruction) (rel : RELATION.t) : list (node * RB.t) :=
   match instr with