diff -r aae9a2a855e0 -r c8c532b22947 src/Pure/build-jars
--- a/src/Pure/build-jars	Sun Mar 06 11:59:35 2016 +0100
+++ b/src/Pure/build-jars	Sun Mar 06 13:19:19 2016 +0100
@@ -55,6 +55,7 @@
   Isar/parse.scala
   Isar/token.scala
   ML/ml_lex.scala
+  ML/ml_syntax.scala
   PIDE/batch_session.scala
   PIDE/command.scala
   PIDE/command_span.scala