diff options
Diffstat (limited to 'otherlibs/labltk/support/rawwidget.ml')
| -rw-r--r-- | otherlibs/labltk/support/rawwidget.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/support/rawwidget.ml b/otherlibs/labltk/support/rawwidget.ml index 4ddf1a301..8eba3b8b1 100644 --- a/otherlibs/labltk/support/rawwidget.ml +++ b/otherlibs/labltk/support/rawwidget.ml @@ -148,8 +148,8 @@ let new_atom ~parent ?name:nom clas = else parentpath ^ "." ^ name in let w = Typed(path,clas) in - Hashtbl.add table path w; - w + Hashtbl.add table path w; + w (* Just create a path. Only to check existence of widgets *) (* Use with care *) |