diff options
Diffstat (limited to 'otherlibs/labltk/support/tkwait.ml')
| -rw-r--r-- | otherlibs/labltk/support/tkwait.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/labltk/support/tkwait.ml b/otherlibs/labltk/support/tkwait.ml index be1e8bb9b..38ed04a9c 100644 --- a/otherlibs/labltk/support/tkwait.ml +++ b/otherlibs/labltk/support/tkwait.ml @@ -13,6 +13,7 @@ (* *) (*************************************************************************) +(* $Id$ *) external internal_tracevis : string -> string -> unit = "camltk_wait_vis" |