--- a/src/Pure/Tools/build.scala Fri Nov 07 16:22:25 2014 +0100
+++ b/src/Pure/Tools/build.scala Fri Nov 07 16:36:55 2014 +0100
@@ -437,7 +437,8 @@
val (loaded_theories0, known_theories0, syntax0) =
info.parent.map(deps(_)) match {
case None =>
- (Set.empty[String], Map.empty[String, Document.Node.Name], Pure_Syn.init())
+ (Set.empty[String], Map.empty[String, Document.Node.Name],
+ Thy_Header.bootstrap_syntax())
case Some(parent) =>
(parent.loaded_theories, parent.known_theories, parent.syntax)
}