Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
subst must always trigger or we miss simplifications
Browse files Browse the repository at this point in the history
bclement-ocp committed Jul 24, 2024
1 parent d8a18fc commit baae945
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions src/lib/reasoners/rel_utils.ml
Original file line number Diff line number Diff line change
@@ -1079,10 +1079,8 @@ struct
let nrr_nf = NF.normal_form nrr in
let nrrd = find_or_default nrr_nf t in
let nnrrd = D.intersect nrrd rrd in
let t =
if D.equal nnrrd rrd then t
else { t with triggers = W.Set.union ws t.triggers }
in
(* Always trigger to ensure we check for simplifications. *)
let t = { t with triggers = W.Set.union ws t.triggers } in
let t =
match nrr_nf with
| Constant _ -> t

0 comments on commit baae945

Please sign in to comment.