diff options
Diffstat (limited to 'otherlibs/labltk/browser/dummyUnix.mli')
| -rw-r--r-- | otherlibs/labltk/browser/dummyUnix.mli | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/otherlibs/labltk/browser/dummyUnix.mli b/otherlibs/labltk/browser/dummyUnix.mli index b2ce9e04d..d08d12e26 100644 --- a/otherlibs/labltk/browser/dummyUnix.mli +++ b/otherlibs/labltk/browser/dummyUnix.mli @@ -24,9 +24,3 @@ module Thread : sig type t external create : ('a -> 'b) -> 'a -> t = "caml_input" end - -module ThreadUnix : sig - open Unix - external read : file_descr -> buf:string -> pos:int -> len:int -> int - = "caml_input" -end |