src/Pure/Thy/sessions.scala
changeset 66718 514c4907ff0b
parent 66717 67dbf5cdc056
child 66719 d37efafd55b5
     1.1 --- a/src/Pure/Thy/sessions.scala	Fri Sep 29 20:49:42 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Fri Sep 29 21:03:04 2017 +0200
     1.3 @@ -107,7 +107,6 @@
     1.4      def bootstrap(global_theories: Map[String, String]): Base =
     1.5        Base(
     1.6          global_theories = global_theories,
     1.7 -        keywords = Thy_Header.bootstrap_header,
     1.8          syntax = Thy_Header.bootstrap_syntax)
     1.9    }
    1.10  
    1.11 @@ -116,7 +115,6 @@
    1.12      global_theories: Map[String, String] = Map.empty,
    1.13      loaded_theories: Graph[String, Outer_Syntax] = Graph.string,
    1.14      known: Known = Known.empty,
    1.15 -    keywords: Thy_Header.Keywords = Nil,
    1.16      syntax: Outer_Syntax = Outer_Syntax.empty,
    1.17      sources: List[(Path, SHA1.Digest)] = Nil,
    1.18      session_graph: Graph_Display.Graph = Graph_Display.empty_graph,
    1.19 @@ -280,7 +278,6 @@
    1.20                  global_theories = global_theories,
    1.21                  loaded_theories = thy_deps.loaded_theories,
    1.22                  known = known,
    1.23 -                keywords = thy_deps.keywords,
    1.24                  syntax = syntax,
    1.25                  sources = sources,
    1.26                  session_graph = session_graph,