Add missing dependency

mbarbin · Dec 16, 2024 · 8f451ee · 8f451ee
1 parent 01c0afe
commit 8f451ee
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/bopkit.opam b/bopkit.opam
@@ -21,6 +21,7 @@ depends: [
   "cmdliner" {>= "1.3.0"}
   "comments-parser" {>= "0.2.2"}
   "core" {>= "v0.17" & < "v0.18"}
+  "core_kernel" {>= "v0.17" & < "v0.18"}
   "core_unix" {>= "v0.17" & < "v0.18"}
   "dune-site" {>= "3.16"}
   "fpath" {>= "0.7.3"}

diff --git a/dune-project b/dune-project
@@ -61,6 +61,10 @@
    (and
     (>= v0.17)
     (< v0.18)))
+  (core_kernel
+   (and
+    (>= v0.17)
+    (< v0.18)))
   (core_unix
    (and
     (>= v0.17)