diff --git a/daemon/inspect_fs_windows.ml b/daemon/inspect_fs_windows.ml index ba8ef4ee3..5d644135a 100644 --- a/daemon/inspect_fs_windows.ml +++ b/daemon/inspect_fs_windows.ml @@ -337,7 +337,7 @@ and get_drive_mappings h root data = let key = Hivex.value_key h value in let keylen = String.length key in if keylen >= 14 && - String.lowercase_ascii (String.sub key 0 12) = "\\dosdevices\\" && + String.lowercase_ascii (String.sub key 0 12) = {|\dosdevices\|} && Char.isalpha key.[12] && key.[13] = ':' then ( let drive_letter = String.sub key 12 1 in