From f7b7a0ca2f75c23b910a2fea6c327f92950f67d9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= Date: Thu, 29 Aug 2024 19:39:49 +0200 Subject: [PATCH] chore(warnings): Drop acts_add_lit_view It causes warnings to be emitted on each compilation and will be easy to add back if we need it in the record. --- src/lib/reasoners/bitv_rel.ml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/src/lib/reasoners/bitv_rel.ml b/src/lib/reasoners/bitv_rel.ml index f7f72d70a..9b17526c2 100644 --- a/src/lib/reasoners/bitv_rel.ml +++ b/src/lib/reasoners/bitv_rel.ml @@ -1015,9 +1015,7 @@ module Bitlist_domains = (** The ['c acts] type is used to register new facts and constraints in [Propagator.simplify]. *) type 'c acts = - { acts_add_lit_view : ex:Explanation.t -> X.r L.view -> unit - (** Assert a semantic literal. *) - ; acts_add_eq : ex:Explanation.t -> X.r -> X.r -> unit + { acts_add_eq : ex:Explanation.t -> X.r -> X.r -> unit (** Assert equality between two semantic values. *) ; acts_add_constraint : ex:Explanation.t -> 'c -> unit (** Assert a new constraint. *) @@ -1918,8 +1916,7 @@ let simplify_all uf eqs touched (dom, idom) = HC.replace to_add c.value c.explanation in let acts = - { acts_add_lit_view - ; acts_add_eq + { acts_add_eq ; acts_add_constraint } in if Propagator.simplify uf c acts then let c = explained ~ex:c_ex c in