summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/shell.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-04-14 03:40:13 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-04-14 03:40:13 +0000
commit4b8f17953110817a9437cb70a3d68788b704c1a1 (patch)
tree777bfc3567c7a5ae5bd32f4cf55d316a521b1c39 /otherlibs/labltk/browser/shell.ml
parent82f43528ec491bc26489b1bf1cfcff5d6067069d (diff)
tk41.cma -> labltk.cma
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3079 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/shell.ml')
-rw-r--r--otherlibs/labltk/browser/shell.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml
index 6dfc7d643..10c132194 100644
--- a/otherlibs/labltk/browser/shell.ml
+++ b/otherlibs/labltk/browser/shell.ml
@@ -239,7 +239,7 @@ let get_all () =
all
let may_exec_unix prog =
- try Unix.access ~file:prog ~perm:[Unix.X_OK]; true
+ try Unix.access prog ~perm:[Unix.X_OK]; true
with Unix.Unix_error _ -> false
let may_exec_win prog =