diff options
Diffstat (limited to 'otherlibs/labltk/builtin/optionmenu.ml')
| -rw-r--r-- | otherlibs/labltk/builtin/optionmenu.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/builtin/optionmenu.ml b/otherlibs/labltk/builtin/optionmenu.ml index c4090d25a..3ade5d57d 100644 --- a/otherlibs/labltk/builtin/optionmenu.ml +++ b/otherlibs/labltk/builtin/optionmenu.ml @@ -13,4 +13,4 @@ let create :parent :variable ?:name values = if res <> Widget.name mw then raise (TkError "internal error in Optionmenu.create") else - w,mw + w, mw |