diff options
Diffstat (limited to 'src/constant_fold.ml')
| -rw-r--r-- | src/constant_fold.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/constant_fold.ml b/src/constant_fold.ml index 6e4e38aa..35417ac8 100644 --- a/src/constant_fold.ml +++ b/src/constant_fold.ml @@ -254,7 +254,7 @@ let rw_exp fixed target ok not_ok istate = | E_app (id, [(E_aux (E_lit (L_aux (L_false, _)), _) as false_exp); _]) when string_of_id id = "and_bool" -> ok (); false_exp - | E_app (id, [(E_aux (E_lit (L_aux (L_false, _)), _) as true_exp); _]) when string_of_id id = "or_bool" -> + | E_app (id, [(E_aux (E_lit (L_aux (L_true, _)), _) as true_exp); _]) when string_of_id id = "or_bool" -> ok (); true_exp | E_app (id, args) when List.for_all is_constant args -> |