diff options
Diffstat (limited to 'otherlibs/labltk/builtin/winfo_contained.ml')
| -rw-r--r-- | otherlibs/labltk/builtin/winfo_contained.ml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/otherlibs/labltk/builtin/winfo_contained.ml b/otherlibs/labltk/builtin/winfo_contained.ml index 768f1015e..f1fb3735c 100644 --- a/otherlibs/labltk/builtin/winfo_contained.ml +++ b/otherlibs/labltk/builtin/winfo_contained.ml @@ -1,2 +1,13 @@ +##ifdef CAMLTK + +let contained x y w = + w = containing x y +;; + +##else + let contained ~x ~y w = forget_type w = containing ~x ~y () +;; + +##endif |