Remove unused var

bclement-ocp · Mar 4, 2024 · 652097e · 652097e
1 parent b1e0785
commit 652097e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/lib/reasoners/rel_utils.ml b/src/lib/reasoners/rel_utils.ml
@@ -371,7 +371,6 @@ end = struct
     match MX.find rr t.leaves_map with
     | cs ->
       CS.fold (fun c t ->
-          let pending = CS.mem c t.pending in
           let t = remove c t  in
           let ex = Explanation.union ex c.explanation in
           add ~ex (Constraint.subst rr nrr c.value) t