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/Translate.ml | 2 +-
 src/dune         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Translate.ml b/src/Translate.ml
index 740670f9..57b92e44 100644
--- a/src/Translate.ml
+++ b/src/Translate.ml
@@ -685,7 +685,7 @@ let translate_module (filename : string) (dest_dir : string) (config : config)
   if not (Sys.file_exists dest_dir) then (
     log#linfo (lazy ("Creating missing directory: " ^ dest_dir));
     (* Create a directory with *default* permissions *)
-    Core.Unix.mkdir_p dest_dir);
+    Core_unix.mkdir_p dest_dir);
 
   (* Copy "Primitives.fst" - I couldn't find a "cp" function in the OCaml
    * libraries... *)
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