src/Pure/PIDE/markup.scala
changeset 61598 ed4dad8823a4
parent 61449 4f31f79cf2d1
child 61660 78b371644654
     1.1 --- a/src/Pure/PIDE/markup.scala	Sat Nov 07 12:53:22 2015 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Sat Nov 07 13:13:23 2015 +0100
     1.3 @@ -260,7 +260,6 @@
     1.4    val ML_NUMERAL = "ML_numeral"
     1.5    val ML_CHAR = "ML_char"
     1.6    val ML_STRING = "ML_string"
     1.7 -  val ML_CARTOUCHE = "ML_cartouche"
     1.8    val ML_COMMENT = "ML_comment"
     1.9    val SML_STRING = "SML_string"
    1.10    val SML_COMMENT = "SML_comment"