1 files changed, 1 insertions, 9 deletions
diff --git a/backend/CSE3analysisaux.ml b/backend/CSE3analysisaux.ml
index b1707559..efe6b600 100644
--- a/backend/CSE3analysisaux.ml
+++ b/backend/CSE3analysisaux.ml
@@ -227,16 +227,8 @@ let add_to_set_in_table table key item =
        (match Hashtbl.find_opt table key with
         | None -> PSet.empty
         | Some s -> s));;
-
-let disable_cse3_only_conditions = ref false
-
+  
 let preanalysis (tenv : typing_env) (f : RTL.coq_function) =
-  if (!Clflags.option_fcse3_only_conditions && (not !disable_cse3_only_conditions)) then (
-    (* Only run this pass once *)
-    disable_cse3_only_conditions := true;
-  ) else (
-    Clflags.option_fcse3_only_conditions := false;
-  );
   let cur_eq_id = ref 0
   and cur_catalog = ref PTree.empty
   and eq_table = Hashtbl.create 100