# HG changeset patch
# User wenzelm
# Date 1527617004 -7200
# Node ID 100f018096c89ced609700e4718d8f9a6d5f52c9
# Parent  daca5f2a0c9018cbb5d0d7881e6fe357e8eb3955
tuned signature;

diff -r daca5f2a0c90 -r 100f018096c8 src/Pure/PIDE/document.scala
--- a/src/Pure/PIDE/document.scala	Tue May 29 20:00:10 2018 +0200
+++ b/src/Pure/PIDE/document.scala	Tue May 29 20:03:24 2018 +0200
@@ -531,7 +531,6 @@
 
     def node_name: Node.Name
     def node: Node
-    def node_consolidated: Boolean
 
     def commands_loading: List[Command]
     def commands_loading_ranges(pred: Node.Name => Boolean): List[Text.Range]
@@ -971,8 +970,6 @@
         val node_name: Node.Name = name
         val node: Node = version.nodes(name)
 
-        def node_consolidated: Boolean = state.node_consolidated(version, node_name)
-
         val commands_loading: List[Command] =
           if (node_name.is_theory) Nil
           else version.nodes.commands_loading(node_name)