| changeset 61492 | 3480725c71d2 |
| parent 61491 | 97261e6c1d42 |
| child 61595 | 3591274c607e |
--- a/src/Pure/General/antiquote.scala Tue Oct 20 20:45:33 2015 +0200 +++ b/src/Pure/General/antiquote.scala Tue Oct 20 23:03:46 2015 +0200 @@ -12,7 +12,7 @@ object Antiquote { - sealed abstract class Antiquote + sealed abstract class Antiquote { def source: String } case class Text(source: String) extends Antiquote case class Control(source: String) extends Antiquote case class Antiq(source: String) extends Antiquote