src/Pure/Tools/build.scala
changeset 58928 23d0ffd48006
parent 58918 8d36bc5eaed3
child 59083 88b0b1f28adc
     1.1 --- a/src/Pure/Tools/build.scala	Fri Nov 07 16:22:25 2014 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Fri Nov 07 16:36:55 2014 +0100
     1.3 @@ -437,7 +437,8 @@
     1.4              val (loaded_theories0, known_theories0, syntax0) =
     1.5                info.parent.map(deps(_)) match {
     1.6                  case None =>
     1.7 -                  (Set.empty[String], Map.empty[String, Document.Node.Name], Pure_Syn.init())
     1.8 +                  (Set.empty[String], Map.empty[String, Document.Node.Name],
     1.9 +                    Thy_Header.bootstrap_syntax())
    1.10                  case Some(parent) =>
    1.11                    (parent.loaded_theories, parent.known_theories, parent.syntax)
    1.12                }