From 632318979aa7423339bcc361ab65d122ce231e65 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Basile=20Cl=C3=A9ment?=
 <129742207+bclement-ocp@users.noreply.github.com>
Date: Fri, 30 Aug 2024 10:46:28 +0200
Subject: [PATCH] chore(warnings): Drop acts_add_lit_view (#1227)

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