# HG changeset patch
# User wenzelm
# Date 1659522323 -7200
# Node ID 6b46b4ba00d32c558a10e4ca2aec87f8778a0961
# Parent  f97f7ab7ca564c4edd0630965854b2a4e5c94ea6
avoid redundant dependencies.load_commands with potential errors (amending ea4f86914cb2);

diff -r f97f7ab7ca56 -r 6b46b4ba00d3 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Wed Aug 03 12:18:55 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Wed Aug 03 12:25:23 2022 +0200
@@ -177,8 +177,6 @@
 
             val theory_files = dependencies.theories.map(_.path)
 
-            dependencies.load_commands
-
             val (load_commands, load_commands_errors) =
               try { if (inlined_files) (dependencies.load_commands, Nil) else (Nil, Nil) }
               catch { case ERROR(msg) => (Nil, List(msg)) }