From 5587701ef0015563b175c1a06517fca822e310c4 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 10 May 2022 14:15:34 +0200
Subject: Use the core_unix package instead of core

---
 src/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/dune')

diff --git a/src/dune b/src/dune
index 70de366c..ba6c076b 100644
--- a/src/dune
+++ b/src/dune
@@ -2,7 +2,7 @@
 (executable
  (name main)
  (preprocess (pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
- (libraries ppx_deriving yojson zarith easy_logging core))
+ (libraries ppx_deriving yojson zarith easy_logging core_unix))
 
 (env
   (dev (flags
-- 
cgit v1.2.3