src/Pure/Thy/sessions.scala
changeset 66822 4642cf4a7ebb
parent 66819 064c80e9d1cf
child 66823 f529719cc47d
     1.1 --- a/src/Pure/Thy/sessions.scala	Mon Oct 09 20:26:02 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Mon Oct 09 21:12:22 2017 +0200
     1.3 @@ -116,7 +116,7 @@
     1.4      overall_syntax: Outer_Syntax = Outer_Syntax.empty,
     1.5      imported_sources: List[(Path, SHA1.Digest)] = Nil,
     1.6      sources: List[(Path, SHA1.Digest)] = Nil,
     1.7 -    session_graph: Graph_Display.Graph = Graph_Display.empty_graph,
     1.8 +    session_graph_display: Graph_Display.Graph = Graph_Display.empty_graph,
     1.9      errors: List[String] = Nil,
    1.10      imports: Option[Base] = None)
    1.11    {
    1.12 @@ -253,7 +253,7 @@
    1.13                  progress, overall_syntax.keywords, check_keywords, theory_files)
    1.14              }
    1.15  
    1.16 -            val session_graph: Graph_Display.Graph =
    1.17 +            val session_graph_display: Graph_Display.Graph =
    1.18              {
    1.19                def session_node(name: String): Graph_Display.Node =
    1.20                  Graph_Display.Node("[" + name + "]", "session." + name)
    1.21 @@ -303,7 +303,7 @@
    1.22                  overall_syntax = overall_syntax,
    1.23                  imported_sources = check_sources(imported_files),
    1.24                  sources = check_sources(session_files),
    1.25 -                session_graph = session_graph,
    1.26 +                session_graph_display = session_graph_display,
    1.27                  errors = thy_deps.errors ::: sources_errors,
    1.28                  imports = Some(imports_base))
    1.29