From 8f451ee712c1ed2cdb4b5581e01ceb83e166dd24 Mon Sep 17 00:00:00 2001
From: Mathieu Barbin <mathieu.barbin@gmail.com>
Date: Mon, 16 Dec 2024 09:51:40 +0100
Subject: [PATCH] Add missing dependency

---
 bopkit.opam  | 1 +
 dune-project | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/bopkit.opam b/bopkit.opam
index d4f06bc..53917c9 100644
--- 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
index 0bbda6c..ba0c917 100644
--- 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)