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)) }