summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/useunix.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-12-01 09:31:59 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-12-01 09:31:59 +0000
commit905267fe2cec4625651507db7539493504789d05 (patch)
treeff1267bc4ee35ed4f6b8cc5bd01f6e1d2340c45a /otherlibs/labltk/browser/useunix.ml
parentb9926a88bab922f6f095b838444e29094aef9b34 (diff)
changed some labels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2659 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/useunix.ml')
-rw-r--r--otherlibs/labltk/browser/useunix.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/useunix.ml b/otherlibs/labltk/browser/useunix.ml
index 33dd20f2b..660d552d7 100644
--- a/otherlibs/labltk/browser/useunix.ml
+++ b/otherlibs/labltk/browser/useunix.ml
@@ -17,7 +17,7 @@ let get_files_in_directory dir =
let is_directory name =
try
- (stat name).st_kind = S_DIR
+ (stat file:name).st_kind = S_DIR
with _ -> false
let get_directories_in_files :path =