diff options
Diffstat (limited to 'otherlibs/labltk')
| -rw-r--r-- | otherlibs/labltk/compiler/lexer.mll | 1 | ||||
| -rw-r--r-- | otherlibs/labltk/compiler/maincompile.ml | 1 | ||||
| -rw-r--r-- | otherlibs/labltk/compiler/tables.ml | 1 | ||||
| -rw-r--r-- | otherlibs/labltk/support/fileevent.ml | 1 | ||||
| -rw-r--r-- | otherlibs/labltk/support/protocol.ml | 1 | ||||
| -rw-r--r-- | otherlibs/labltk/support/rawwidget.ml | 2 | ||||
| -rw-r--r-- | otherlibs/labltk/support/textvariable.ml | 1 | ||||
| -rw-r--r-- | otherlibs/labltk/support/timer.ml | 1 |
8 files changed, 0 insertions, 9 deletions
diff --git a/otherlibs/labltk/compiler/lexer.mll b/otherlibs/labltk/compiler/lexer.mll index 2fc2376e2..92b14bdbf 100644 --- a/otherlibs/labltk/compiler/lexer.mll +++ b/otherlibs/labltk/compiler/lexer.mll @@ -20,7 +20,6 @@ open StdLabels open Lexing open Parser -open Support exception Lexical_error of string let current_line = ref 1 diff --git a/otherlibs/labltk/compiler/maincompile.ml b/otherlibs/labltk/compiler/maincompile.ml index 91b6bcdff..8b80e46db 100644 --- a/otherlibs/labltk/compiler/maincompile.ml +++ b/otherlibs/labltk/compiler/maincompile.ml @@ -17,7 +17,6 @@ (* $Id$ *) open StdLabels -open Support open Tables open Printer open Compile diff --git a/otherlibs/labltk/compiler/tables.ml b/otherlibs/labltk/compiler/tables.ml index a86b4af50..170255947 100644 --- a/otherlibs/labltk/compiler/tables.ml +++ b/otherlibs/labltk/compiler/tables.ml @@ -17,7 +17,6 @@ (* $Id$ *) open StdLabels -open Support (* Internal compiler errors *) diff --git a/otherlibs/labltk/support/fileevent.ml b/otherlibs/labltk/support/fileevent.ml index ae1cc261a..7285a4759 100644 --- a/otherlibs/labltk/support/fileevent.ml +++ b/otherlibs/labltk/support/fileevent.ml @@ -17,7 +17,6 @@ (* $Id$ *) open Unix -open Support open Protocol external add_file_input : file_descr -> cbid -> unit diff --git a/otherlibs/labltk/support/protocol.ml b/otherlibs/labltk/support/protocol.ml index 28cb4737d..a61905dcf 100644 --- a/otherlibs/labltk/support/protocol.ml +++ b/otherlibs/labltk/support/protocol.ml @@ -16,7 +16,6 @@ (* $Id$ *) -open Support open Widget type callback_buffer = string list diff --git a/otherlibs/labltk/support/rawwidget.ml b/otherlibs/labltk/support/rawwidget.ml index f216df726..d4344ad92 100644 --- a/otherlibs/labltk/support/rawwidget.ml +++ b/otherlibs/labltk/support/rawwidget.ml @@ -16,8 +16,6 @@ (* $Id$ *) -open Support - (* * Widgets *) diff --git a/otherlibs/labltk/support/textvariable.ml b/otherlibs/labltk/support/textvariable.ml index 4e17a008a..bcd3a0453 100644 --- a/otherlibs/labltk/support/textvariable.ml +++ b/otherlibs/labltk/support/textvariable.ml @@ -16,7 +16,6 @@ (* $Id$ *) -open Support open Protocol external internal_tracevar : string -> cbid -> unit diff --git a/otherlibs/labltk/support/timer.ml b/otherlibs/labltk/support/timer.ml index d5bd176aa..fd232bc11 100644 --- a/otherlibs/labltk/support/timer.ml +++ b/otherlibs/labltk/support/timer.ml @@ -17,7 +17,6 @@ (* $Id$ *) (* Timers *) -open Support open Protocol type tkTimer = int |