# HG changeset patch
# User wenzelm
# Date 1659522337 -7200
# Node ID ebbb7d6eb296d3fd90dab115441a48e914197f8f
# Parent  6b46b4ba00d32c558a10e4ca2aec87f8778a0961
avoid multiple load_commands;

diff -r 6b46b4ba00d3 -r ebbb7d6eb296 src/Pure/PIDE/resources.scala
--- a/src/Pure/PIDE/resources.scala	Wed Aug 03 12:25:23 2022 +0200
+++ b/src/Pure/PIDE/resources.scala	Wed Aug 03 12:25:37 2022 +0200
@@ -407,7 +407,7 @@
     def get_syntax(name: Document.Node.Name): Outer_Syntax =
       loaded_theories.get_node(name.theory)
 
-    def load_commands: List[(Document.Node.Name, List[Command_Span.Span])] =
+    lazy val load_commands: List[(Document.Node.Name, List[Command_Span.Span])] =
       theories.zip(
         Par_List.map((e: () => List[Command_Span.Span]) => e(),
           theories.map(name => resources.load_commands(get_syntax(name), name))))