From 4e0b14a89cceb48b8ed1c63bcceb6a2c48dec167 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 14 Jun 2016 18:54:44 +0100 Subject: [PATCH] mllib: Use Unix.F_OK instead of plain F_OK. Removes this warning: File "common_utils.ml", line 826, characters 24-28: Warning 40: F_OK was selected from type Unix.access_permission. It is not visible in the current scope, and will not be selected if the type becomes unknown. (cherry picked from commit 2ecdc46114f564a42f8d6c51c2c2763ba3dda15e) --- mllib/common_utils.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mllib/common_utils.ml b/mllib/common_utils.ml index c29dfa0..be8810a 100644 --- a/mllib/common_utils.ml +++ b/mllib/common_utils.ml @@ -827,7 +827,7 @@ let is_partition dev = let major = Dev_t.major rdev in let minor = Dev_t.minor rdev in let path = sprintf "/sys/dev/block/%d:%d/partition" major minor in - Unix.access path [F_OK]; + Unix.access path [Unix.F_OK]; true ) with Unix.Unix_error _ -> false -- 1.8.3.1