diff options
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/win32unix/unix.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/win32unix/unix.ml b/otherlibs/win32unix/unix.ml index acb12d695..2ae4a61a0 100644 --- a/otherlibs/win32unix/unix.ml +++ b/otherlibs/win32unix/unix.ml @@ -326,7 +326,7 @@ external findnext : int -> string= "win_findnext" let opendir dirname = try - let (first_entry, handle) = findfirst (dirname ^ "\\*.*") in + let (first_entry, handle) = findfirst (Filename.concat dirname "*.*") in { dirname = dirname; handle = handle; entry_read = Dir_read first_entry } with End_of_file -> { dirname = dirname; handle = 0; entry_read = Dir_empty } |