# HG changeset patch
# User wenzelm
# Date 1506711784 -7200
# Node ID 514c4907ff0bada9702a69691f18d81c12c76d94
# Parent  67dbf5cdc056ad50be43e78348e8d8d083866442
unused;

diff -r 67dbf5cdc056 -r 514c4907ff0b src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Fri Sep 29 20:49:42 2017 +0200
+++ b/src/Pure/Thy/sessions.scala	Fri Sep 29 21:03:04 2017 +0200
@@ -107,7 +107,6 @@
     def bootstrap(global_theories: Map[String, String]): Base =
       Base(
         global_theories = global_theories,
-        keywords = Thy_Header.bootstrap_header,
         syntax = Thy_Header.bootstrap_syntax)
   }
 
@@ -116,7 +115,6 @@
     global_theories: Map[String, String] = Map.empty,
     loaded_theories: Graph[String, Outer_Syntax] = Graph.string,
     known: Known = Known.empty,
-    keywords: Thy_Header.Keywords = Nil,
     syntax: Outer_Syntax = Outer_Syntax.empty,
     sources: List[(Path, SHA1.Digest)] = Nil,
     session_graph: Graph_Display.Graph = Graph_Display.empty_graph,
@@ -280,7 +278,6 @@
                 global_theories = global_theories,
                 loaded_theories = thy_deps.loaded_theories,
                 known = known,
-                keywords = thy_deps.keywords,
                 syntax = syntax,
                 sources = sources,
                 session_graph = session_graph,