--- a/src/Pure/PIDE/markup.scala Sun Sep 02 21:22:52 2018 +0200
+++ b/src/Pure/PIDE/markup.scala Sun Sep 02 22:30:08 2018 +0200
@@ -426,6 +426,7 @@
val FAILED = "failed"
val CANCELED = "canceled"
val INITIALIZED = "initialized"
+ val FINALIZED = "finalized"
val CONSOLIDATED = "consolidated"