summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/useunix.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2001-09-06 08:52:32 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2001-09-06 08:52:32 +0000
commitea299bbbc1dcf8f0f8f3b18558145965391ad224 (patch)
tree66a42a385bf5243f570afb2c48bf7239ce08f67a /otherlibs/labltk/browser/useunix.ml
parentbc8ff705be9af2f5883b640b1c9e285f380d5f70 (diff)
passage aux labels stricts
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/useunix.ml')
-rw-r--r--otherlibs/labltk/browser/useunix.ml5
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