Also remove impossible if-branches

1 files changed, 1 insertions, 0 deletions

diff --git a/src/rewrites.ml b/src/rewrites.ml
index d9bcec04..f6a004b3 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -5077,6 +5077,7 @@ let rewrite_defs_lem = [
   ("rewrite_undefined", rewrite_undefined_if_gen false);
   ("rewrite_defs_vector_string_pats_to_bit_list", rewrite_defs_vector_string_pats_to_bit_list);
   ("remove_not_pats", rewrite_defs_not_pats);
+  ("remove_impossible_int_cases", Constant_propagation.remove_impossible_int_cases);
   ("pat_lits", rewrite_defs_pat_lits rewrite_lit_lem);
   ("vector_concat_assignments", rewrite_vector_concat_assignments);
   ("tuple_assignments", rewrite_tuple_assignments);