--- a/src/Pure/General/antiquote.scala Sat Jun 24 09:17:35 2017 +0200 +++ b/src/Pure/General/antiquote.scala Sat Jun 24 21:23:48 2017 +0200 @@ -55,4 +55,3 @@ } } } -