diff -r 1585a65aad64 -r 984e210d412e src/Pure/build-jars
--- a/src/Pure/build-jars	Sun Feb 16 13:18:08 2014 +0100
+++ b/src/Pure/build-jars	Sun Feb 16 14:18:14 2014 +0100
@@ -13,6 +13,7 @@
   Concurrent/future.scala
   Concurrent/simple_thread.scala
   Concurrent/volatile.scala
+  General/antiquote.scala
   General/bytes.scala
   General/exn.scala
   General/file.scala