From 23109905af576f5ce8ef7da376425c54cb607e69 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 7 Jun 2024 11:13:57 -0400
Subject: [PATCH] chore: missing dep

---
 dune-project       | 18 ++++++++++--------
 imandrakit-io.opam |  1 +
 2 files changed, 11 insertions(+), 8 deletions(-)

diff --git a/dune-project b/dune-project
index 5fb65a1d..6c492944 100644
--- a/dune-project
+++ b/dune-project
@@ -62,32 +62,34 @@
   (moonpool multicore thread logs logging)))
 
 (package
- (name imandrakit-io)
- (synopsis "IO utils for Imandra")
+ (name imandrakit-log)
+ (synopsis "Logging utils for Imandra")
  (depends
   (ocaml
    (>= 4.13))
   (imandrakit
    (= :version))
+  hmap
+  dune
   (moonpool
    (>= 0.6))
+  logs
+  thread-local-storage
   (trace-tef :with-test)
   (odoc :with-doc)))
 
 (package
- (name imandrakit-log)
- (synopsis "Logging utils for Imandra")
+ (name imandrakit-io)
+ (synopsis "IO utils for Imandra")
  (depends
   (ocaml
    (>= 4.13))
   (imandrakit
    (= :version))
-  hmap
-  dune
+  (imandrakit-log
+   (= :version))
   (moonpool
    (>= 0.6))
-  logs
-  thread-local-storage
   (trace-tef :with-test)
   (odoc :with-doc)))
 
diff --git a/imandrakit-io.opam b/imandrakit-io.opam
index 4059ffb4..b7c3751c 100644
--- a/imandrakit-io.opam
+++ b/imandrakit-io.opam
@@ -11,6 +11,7 @@ depends: [
   "dune" {>= "3.0"}
   "ocaml" {>= "4.13"}
   "imandrakit" {= version}
+  "imandrakit-log" {= version}
   "moonpool" {>= "0.6"}
   "trace-tef" {with-test}
   "odoc" {with-doc}