Skip to content

Commit 05313ce

Browse files
committed
Add Expr.Set.to_list for compatability with OCaml 4.14
1 parent 98afd77 commit 05313ce

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/smtml/expr.ml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -848,6 +848,8 @@ module Set = struct
848848

849849
let hash = Hashtbl.hash
850850

851+
let to_list s = elements s
852+
851853
let pp fmt v =
852854
Fmt.pf fmt "@[<hov 1>%a@]"
853855
(Fmt.iter iter ~sep:(fun fmt () -> Fmt.pf fmt "@;") pp)

0 commit comments

Comments
 (0)