From 2a0e14a63511215baac5d61890c766d894219dee Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 11 Feb 2021 17:17:55 -0500 Subject: [PATCH] refactor: a bit of cleanup --- src/arith/lra/sidekick_arith_lra.ml | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/arith/lra/sidekick_arith_lra.ml b/src/arith/lra/sidekick_arith_lra.ml index 406c5667..7d48baf8 100644 --- a/src/arith/lra/sidekick_arith_lra.ml +++ b/src/arith/lra/sidekick_arith_lra.ml @@ -7,6 +7,7 @@ open Sidekick_core module Simplex = Simplex +module Simplex2 = Simplex2 module Predicate = Predicate module Linear_expr = Linear_expr @@ -123,7 +124,6 @@ module Make(A : ARG) : S with module A = A = struct module LE = SimpSolver.L.Expr module LConstr = SimpSolver.L.Constr - type proxy = T.t type state = { tst: T.state; simps: T.t T.Tbl.t; (* cache *) @@ -306,12 +306,6 @@ module Make(A : ARG) : S with module A = A = struct ) end - let dedup_lits lits : _ list = - let module LTbl = CCHashtbl.Make(Lit) in - let tbl = LTbl.create 16 in - List.iter (fun l -> LTbl.replace tbl l ()) lits; - LTbl.keys_list tbl - module Q_map = CCMap.Make(Q) let final_check_ (self:state) si (acts:SI.actions) (trail:_ Iter.t) : unit =