src/Pure/General/antiquote.scala

--- a/src/Pure/General/antiquote.scala	Sun Oct 18 23:03:43 2015 +0200
+++ b/src/Pure/General/antiquote.scala	Mon Oct 19 00:19:19 2015 +0200
@@ -42,7 +42,7 @@
       "@{" ~ rep(antiq_body) ~ "}" ^^ { case x ~ y ~ z => x + y.mkString + z }
 
     val antiquote: Parser[Antiquote] =
-      control ^^ (x => Control(x)) | (antiq ^^ (x => Antiq(x)) | txt ^^ (x => Text(x)))
+      txt ^^ (x => Text(x)) | (control ^^ (x => Control(x)) | antiq ^^ (x => Antiq(x)))
   }