src/Pure/PIDE/markup.scala
changeset 55694 a1184dfb8e00
parent 55687 78c83cd477c1
child 55744 4a4e5686e091
     1.1 --- a/src/Pure/PIDE/markup.scala	Sun Feb 23 20:24:33 2014 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Sun Feb 23 21:11:59 2014 +0100
     1.3 @@ -69,7 +69,6 @@
     1.4  
     1.5    /* completion */
     1.6  
     1.7 -  val TOTAL = "total"
     1.8    val COMPLETION = "completion"
     1.9  
    1.10