summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/support/textvariable.mli
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/labltk/support/textvariable.mli')
-rw-r--r--otherlibs/labltk/support/textvariable.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/support/textvariable.mli b/otherlibs/labltk/support/textvariable.mli
index f2e22a828..0b4a7a535 100644
--- a/otherlibs/labltk/support/textvariable.mli
+++ b/otherlibs/labltk/support/textvariable.mli
@@ -25,7 +25,7 @@ type textVariable
val create : ?on: 'a widget -> unit -> textVariable
(* Allocation of a textVariable with lifetime associated to widget
if a widget is specified *)
-val set : textVariable -> to: string -> unit
+val set : textVariable -> string -> unit
(* Setting the val of a textVariable *)
val get : textVariable -> string
(* Reading the val of a textVariable *)