src/Pure/Tools/build.scala
changeset 59736 5c1a0069b9d3
parent 59723 193f12622072
child 59811 6b0d9e8ac227
     1.1 --- a/src/Pure/Tools/build.scala	Tue Mar 17 15:21:41 2015 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Mar 17 16:17:49 2015 +0100
     1.3 @@ -438,7 +438,7 @@
     1.4                info.parent.map(deps(_)) match {
     1.5                  case None =>
     1.6                    (Set.empty[String], Map.empty[String, Document.Node.Name],
     1.7 -                    Thy_Header.bootstrap_syntax())
     1.8 +                    Thy_Header.bootstrap_syntax)
     1.9                  case Some(parent) =>
    1.10                    (parent.loaded_theories, parent.known_theories, parent.syntax)
    1.11                }