tuned import;
authorwenzelm
Sat Aug 04 21:48:09 2012 +0200 (2012-08-04)
changeset 48677bd4d132e32cf
parent 48676 3ef82491cdd6
child 48678 ff27af15530c
tuned import;
src/Pure/PIDE/text.scala
     1.1 --- a/src/Pure/PIDE/text.scala	Sat Aug 04 21:45:41 2012 +0200
     1.2 +++ b/src/Pure/PIDE/text.scala	Sat Aug 04 21:48:09 2012 +0200
     1.3 @@ -10,7 +10,6 @@
     1.4  
     1.5  
     1.6  import scala.collection.mutable
     1.7 -import scala.math.Ordering
     1.8  import scala.util.Sorting
     1.9  
    1.10