src/Pure/PIDE/document.scala

--- a/src/Pure/PIDE/document.scala	Mon Dec 19 11:42:45 2022 +0100
+++ b/src/Pure/PIDE/document.scala	Mon Dec 19 12:22:47 2022 +0100
@@ -761,7 +761,7 @@
     def get_text(range: Text.Range): Option[String]
 
     def get_required(document: Boolean): Boolean
-    def node_required: Boolean = get_required(false) || get_required(true)
+    def node_required: Boolean
 
     def get_blob: Option[Blob]
     def bibtex_entries: List[Text.Info[String]]