diff options
Diffstat (limited to 'lib/spawned.mli')
| -rw-r--r-- | lib/spawned.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/spawned.mli b/lib/spawned.mli index bc5649a2fa..18b88dc64b 100644 --- a/lib/spawned.mli +++ b/lib/spawned.mli @@ -20,7 +20,3 @@ val init_channels : unit -> unit (* Once initialized, these are the channels to talk with our master *) val get_channels : unit -> in_channel * out_channel -(* In multi threaded environments on windows blocking calls do - prevent context switch. This seems a huge BUG, here a work around *) -val prepare_in_channel_for_thread_friendly_blocking_input : in_channel -> unit -val thread_friendly_blocking_input : in_channel -> string -> int -> int |