chore: missing dep

imandra-ai · Jun 7, 2024 · 2310990 · 2310990
1 parent b61ba3e
commit 2310990
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 8 deletions.
diff --git 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
@@ -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}