From 52c250af1cd5a59e2df3e90b34846b18a3955995 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Thu, 13 Feb 2020 16:07:18 +0100
Subject: [PATCH] Add [seq] as a dependency.
---
feat.opam | 1 +
src/dune | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/feat.opam b/feat.opam
index 570f53f..dbec49e 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 19e1d4f..90a5a6c 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)
)
--
GitLab