diff options
Diffstat (limited to 'otherlibs/labltk/browser/useunix.ml')
| -rw-r--r-- | otherlibs/labltk/browser/useunix.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/useunix.ml b/otherlibs/labltk/browser/useunix.ml index b17911091..3b6361878 100644 --- a/otherlibs/labltk/browser/useunix.ml +++ b/otherlibs/labltk/browser/useunix.ml @@ -13,7 +13,8 @@ (* $Id$ *) -open Unix +open StdLabels +open UnixLabels let get_files_in_directory dir = match @@ -30,7 +31,7 @@ let get_files_in_directory dir = | None -> closedir dirh; l in - Sort.list ~order:(<=) (get_them []) + List.sort ~cmp:compare (get_them []) let is_directory name = try |