diff options
Diffstat (limited to 'otherlibs/labltk/browser/viewer.ml')
| -rw-r--r-- | otherlibs/labltk/browser/viewer.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/viewer.ml b/otherlibs/labltk/browser/viewer.ml index 9a20a4996..875780afa 100644 --- a/otherlibs/labltk/browser/viewer.ml +++ b/otherlibs/labltk/browser/viewer.ml @@ -245,7 +245,7 @@ let start_shell () = pack [ok;cancel] side:`Left fill:`X expand:true; pack [input;buttons] side:`Top fill:`X expand:true -let f ?:dir[=Unix.getcwd()] ?:on () = +let f ?(:dir=Unix.getcwd()) ?:on () = let tl = match on with None -> let tl = Jg_toplevel.titled "Module viewer" in |