src/Tools/VSCode/src/channel.scala

--- a/src/Tools/VSCode/src/channel.scala	Mon Dec 10 23:36:29 2018 +0100
+++ b/src/Tools/VSCode/src/channel.scala	Tue Dec 11 19:25:35 2018 +0100
@@ -21,7 +21,7 @@
   private val Content_Length = """^\s*Content-Length:\s*(\d+)\s*$""".r
 
   private def read_line(): String =
-    Bytes.read_line(in) match {
+    Byte_Message.read_line(in) match {
       case Some(bytes) => bytes.text
       case None => ""
     }