--- a/src/Pure/General/antiquote.scala Fri May 19 16:14:24 2017 +0200 +++ b/src/Pure/General/antiquote.scala Fri May 19 16:43:11 2017 +0200 @@ -55,4 +55,3 @@ } } } -