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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Translate.ml')

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... *)
-- 
cgit v1.2.3