diff --git a/src/libraries/utils/filepath.ml b/src/libraries/utils/filepath.ml index 6195b004be9a3eaff49c82e1e68ae00f14c1b431..15d910ad817188f1aad533e660d48b9463ca92b4 100644 --- a/src/libraries/utils/filepath.ml +++ b/src/libraries/utils/filepath.ml @@ -286,7 +286,9 @@ module Normalized = struct Buffer.contents buf in let uri = try - String.sub uri 1 (String.length uri - 1) + if String.get uri 0 = '/' then + String.sub uri 1 (String.length uri - 1) + else uri with Invalid_argument _ -> uri in res, uri