src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Mon Dec 08 16:04:50 2014 +0100
+++ b/src/Pure/PIDE/markup.scala	Mon Dec 08 22:42:12 2014 +0100
@@ -241,6 +241,7 @@
   val ML_NUMERAL = "ML_numeral"
   val ML_CHAR = "ML_char"
   val ML_STRING = "ML_string"
+  val ML_CARTOUCHE = "ML_cartouche"
   val ML_COMMENT = "ML_comment"
   val SML_STRING = "SML_string"
   val SML_COMMENT = "SML_comment"