diff --git a/feat.opam b/feat.opam index 570f53fa1b66e0d8ebc2a37237e25afadae7e940..dbec49e0e38f328028448485f6c0e745726f8cc9 100644 --- a/feat.opam +++ b/feat.opam @@ -14,6 +14,7 @@ depends: [ "ocaml" { >= "4.03" } "dune" { >= "1.3" } "zarith" + "seq" "fix" { >= "20181206" } ] synopsis: "Facilities for enumerating and sampling algebraic data types" diff --git a/src/dune b/src/dune index 19e1d4f7cec639cdc8fd2e82fee2b9560bde9dbb..90a5a6cc3def11b034915cb5828e6439c8dd4064 100644 --- a/src/dune +++ b/src/dune @@ -3,5 +3,5 @@ (public_name feat) (synopsis "Facilities for enumerating and sampling algebraic data types") (flags "-w" "A-44") - (libraries zarith fix) + (libraries seq zarith fix) )