src/Pure/PIDE/command.scala

--- a/src/Pure/PIDE/command.scala	Sun Mar 10 15:31:24 2019 +0100
+++ b/src/Pure/PIDE/command.scala	Sun Mar 10 21:12:29 2019 +0100
@@ -475,7 +475,6 @@
       toks match {
         case (t1, i1) :: (t2, i2) :: rest =>
           if (t1.is_keyword && t1.source == "%" && t2.is_name) clean(rest)
-          else if (t1.is_keyword && Symbol.is_marker(t1.source) && t2.is_embedded) clean(rest)
           else (t1, i1) :: clean((t2, i2) :: rest)
         case _ => toks
       }