diff -r ad09a4635e26 -r 70a947611792 src/Pure/build-jars
--- a/src/Pure/build-jars	Sat Oct 18 22:50:35 2014 +0200
+++ b/src/Pure/build-jars	Sun Oct 19 11:20:03 2014 +0200
@@ -83,7 +83,6 @@
   Thy/present.scala
   Thy/thy_header.scala
   Thy/thy_info.scala
-  Thy/thy_structure.scala
   Thy/thy_syntax.scala
   Tools/bibtex.scala
   Tools/build.scala