simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

style

Browse source
This commit is contained in:
Simon Cruanes 2021-03-18 11:42:51 -04:00
parent b35ca4496f
commit 0a14d556d9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smtlib/Form.ml
View file

@ -142,7 +142,7 @@ let distinct_l tst l =
| l -> | l ->
(* turn into [and_{i<j} t_i != t_j] *) (* turn into [and_{i<j} t_i != t_j] *)
let cs = let cs =
CCList.diagonal l |> List.map (fun (a,b) -> neq tst a b) CCList.diagonal l |> List.map (fun (a,b) -> neq tst a b)
in in
and_l tst cs and_l tst cs