tuned signature;
authorwenzelm
Fri Sep 07 20:35:18 2018 +0200 (9 months ago)
changeset 689357a420bee1eea
parent 68933 f50d98a0e140
child 68936 90c08c7bab9c
tuned signature;
src/Pure/Thy/thy_resources.scala
     1.1 --- a/src/Pure/Thy/thy_resources.scala	Fri Sep 07 20:15:17 2018 +0200
     1.2 +++ b/src/Pure/Thy/thy_resources.scala	Fri Sep 07 20:35:18 2018 +0200
     1.3 @@ -386,7 +386,7 @@
     1.4        copy(theories = theories -- remove)
     1.5      }
     1.6  
     1.7 -    lazy val theories_graph: Graph[Document.Node.Name, Unit] =
     1.8 +    lazy val theory_graph: Graph[Document.Node.Name, Unit] =
     1.9      {
    1.10        val entries =
    1.11          for ((name, theory) <- theories.toList)
    1.12 @@ -463,7 +463,7 @@
    1.13    {
    1.14      state.change_result(st =>
    1.15        {
    1.16 -        val graph = st.theories_graph
    1.17 +        val graph = st.theory_graph
    1.18          val all_nodes = graph.topological_order
    1.19  
    1.20          val purge =