src/Pure/PIDE/text.scala

--- a/src/Pure/PIDE/text.scala	Sat Aug 04 21:45:41 2012 +0200
+++ b/src/Pure/PIDE/text.scala	Sat Aug 04 21:48:09 2012 +0200
@@ -10,7 +10,6 @@
 
 
 import scala.collection.mutable
-import scala.math.Ordering
 import scala.util.Sorting