diff options
Diffstat (limited to 'otherlibs/labltk/support/tkwait.ml')
| -rw-r--r-- | otherlibs/labltk/support/tkwait.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/otherlibs/labltk/support/tkwait.ml b/otherlibs/labltk/support/tkwait.ml index 2574928c0..97a0b0eb8 100644 --- a/otherlibs/labltk/support/tkwait.ml +++ b/otherlibs/labltk/support/tkwait.ml @@ -16,7 +16,10 @@ (* $Id$ *) -external internal_tracevis : string -> string -> unit +external internal_tracevis : string -> Protocol.cbid -> unit = "camltk_wait_vis" -external internal_tracedestroy : string -> string -> unit +;; + +external internal_tracedestroy : string -> Protocol.cbid -> unit = "camltk_wait_des" +;; |