src/Pure/PIDE/line.scala

--- a/src/Pure/PIDE/line.scala	Thu Oct 26 23:31:03 2017 +0200
+++ b/src/Pure/PIDE/line.scala	Fri Oct 27 11:46:03 2017 +0200
@@ -18,7 +18,7 @@
     if (text.contains('\r')) text.replace("\r\n", "\n") else text
 
   def logical_lines(text: String): List[String] =
-    Library.split_lines(normalize(text))
+    split_lines(normalize(text))
 
 
   /* position */