simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-24 18:36:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix deprecation warnings related to pervasives

Browse source
This commit is contained in:
Simon Cruanes 2019-11-29 14:03:52 -06:00
parent ca9d5447e0
commit 0266a39b04
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/core/Internal.ml
View file

@ -232,7 +232,7 @@ module Make(Plugin : PLUGIN)
let[@inline] equal a b = a == b
let[@inline] sign a = a == abs a
let[@inline] hash a = Hashtbl.hash a.aid
let[@inline] compare a b = Pervasives.compare a.aid b.aid
let[@inline] compare a b = compare a.aid b.aid
let[@inline] reason a = Var.reason a.var
let[@inline] id a = a.aid
let[@inline] is_true a = a.is_true
@ -1871,7 +1871,7 @@ module Make(Plugin : PLUGIN)
Log.debugf 3 (fun k->k "(@[sat.gc.start :keep %d :out-of %d@])" n_of_learnts (Vec.size v));
assert (Vec.size v > n_of_learnts);
(* sort by decreasing activity *)
Vec.sort v (fun c1 c2 -> Pervasives.compare c2.activity c1.activity);
Vec.sort v (fun c1 c2 -> compare c2.activity c1.activity);
let n_collected = ref 0 in
while Vec.size v > n_of_learnts do
let c = Vec.pop v in

2
src/sat/Int_lit.ml
View file

@ -44,7 +44,7 @@ let set_sign b i = if b then abs i else neg (abs i)
let hash (a:int) = a land max_int
let equal (a:int) b = a=b
let compare (a:int) b = Pervasives.compare a b
let compare (a:int) b = compare a b
let make i = _make (2 * i)