diff options
Diffstat (limited to 'otherlibs/labltk/browser/setpath.ml')
| -rw-r--r-- | otherlibs/labltk/browser/setpath.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/setpath.ml b/otherlibs/labltk/browser/setpath.ml index 82d9b2a60..3e7470dfc 100644 --- a/otherlibs/labltk/browser/setpath.ml +++ b/otherlibs/labltk/browser/setpath.ml @@ -57,7 +57,7 @@ let add_to_path ~dirs ?(base="") box = begin function "." -> base | ".." -> Filename.dirname base - | x -> base ^ "/" ^ x + | x -> Filename.concat base x end in set_load_path |