simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 19:55:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Remove use of Array.memq (absent from ocaml <4.03)

Browse source
This commit is contained in:
Guillaume Bury 2017-08-25 19:08:52 +02:00
parent 2db3a5a494
commit 631280af9a
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/backend/coq.ml
View file

@ -71,8 +71,8 @@ module Make(S : Res.S)(A : Arg with type hyp := S.clause
let resolution fmt goal hyp1 hyp2 atom = let resolution fmt goal hyp1 hyp2 atom =
let a = S.St.(atom.var.pa) in let a = S.St.(atom.var.pa) in
let h1, h2 = let h1, h2 =
if Array.memq a hyp1.S.St.atoms then hyp1, hyp2 if Array_util.exists ((==) a) hyp1.S.St.atoms then hyp1, hyp2
else (assert (Array.memq a hyp2.S.St.atoms); hyp2, hyp1) else (assert (Array_util.exists ((==) a) hyp2.S.St.atoms); hyp2, hyp1)
in in
(** Print some debug info *) (** Print some debug info *)
Format.fprintf fmt Format.fprintf fmt