tuned;
authorwenzelm
Mon Jan 09 20:31:00 2017 +0100 (2017-01-09)
changeset 648558fcc23e8e1d9
parent 64854 f5aa712e6250
child 64856 5e9bf964510a
tuned;
src/Pure/Tools/build.scala
     1.1 --- a/src/Pure/Tools/build.scala	Mon Jan 09 20:26:59 2017 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Mon Jan 09 20:31:00 2017 +0100
     1.3 @@ -97,11 +97,11 @@
     1.4  
     1.5    object Session_Content
     1.6    {
     1.7 -    def empty: Session_Content =
     1.8 +    val empty: Session_Content =
     1.9        Session_Content(Set.empty, Map.empty, Nil, Outer_Syntax.empty,
    1.10          Nil, Graph_Display.empty_graph)
    1.11  
    1.12 -    def bootstrap: Session_Content =
    1.13 +    lazy val bootstrap: Session_Content =
    1.14        Session_Content(Set.empty, Map.empty, Thy_Header.bootstrap_header,
    1.15          Thy_Header.bootstrap_syntax, Nil, Graph_Display.empty_graph)
    1.16    }