From a8fd284eba4f0ed4a69cd4c6ea8526d65c1946b8 Mon Sep 17 00:00:00 2001 From: Simon Krajewski Date: Wed, 2 Aug 2017 08:48:40 +0200 Subject: [PATCH] [eval] fix FileSystem path patching (closes #6481) --- src/macro/eval/evalStdLib.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/macro/eval/evalStdLib.ml b/src/macro/eval/evalStdLib.ml index c27cc91f145..94f5eb77bbb 100644 --- a/src/macro/eval/evalStdLib.ml +++ b/src/macro/eval/evalStdLib.ml @@ -1126,7 +1126,7 @@ module StdFileSystem = struct | _ -> p let patch_path s = - if String.length s > 0 && String.length s <= 3 && s.[1] = ':' then Path.add_trailing_slash s + if String.length s > 1 && String.length s <= 3 && s.[1] = ':' then Path.add_trailing_slash s else remove_trailing_slash s let absolutePath = vfun1 (fun relPath ->