From 2d66c7d508f6bd198969012241082e34a5b6047c Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 11 Dec 2014 14:27:46 +0100
Subject: CThread: use a different type for thread friendly in_channels

---
 ide/ide_slave.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ide')

diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index 3d2676f14e..9d636a8b29 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -450,7 +450,6 @@ let loop () =
   catch_break := false;
   let in_ch, out_ch = Spawned.get_channels () in
   let xml_oc = Xml_printer.make (Xml_printer.TChannel out_ch) in
-  CThread.prepare_in_channel_for_thread_friendly_io in_ch;
   let in_lb = Lexing.from_function (fun s len ->
     CThread.thread_friendly_read in_ch s ~off:0 ~len) in
   let xml_ic = Xml_parser.make (Xml_parser.SLexbuf in_lb) in
-- 
cgit v1.2.3