# HG changeset patch
# User wenzelm
# Date 1605683440 -3600
# Node ID 054d8b212f9418b78a2b8da9c1c7770ff8a34a02
# Parent  fffad9ad660efac8de637c5ae327277f1989126e
tuned;

diff -r fffad9ad660e -r 054d8b212f94 src/Pure/PIDE/resources.scala
--- a/src/Pure/PIDE/resources.scala	Tue Nov 17 23:26:41 2020 +0100
+++ b/src/Pure/PIDE/resources.scala	Wed Nov 18 08:10:40 2020 +0100
@@ -37,14 +37,14 @@
       pair(list(string),
       pair(list(pair(string, string)), list(string)))))))))(
        (Symbol.codes,
-       (resources.sessions_structure.session_positions,
-       (resources.sessions_structure.dest_session_directories,
-       (resources.sessions_structure.session_chapters,
-       (resources.sessions_structure.bibtex_entries,
+       (sessions_structure.session_positions,
+       (sessions_structure.dest_session_directories,
+       (sessions_structure.session_chapters,
+       (sessions_structure.bibtex_entries,
        (command_timings,
-       (resources.session_base.doc_names,
-       (resources.session_base.global_theories.toList,
-        resources.session_base.loaded_theories.keys))))))))))
+       (session_base.doc_names,
+       (session_base.global_theories.toList,
+        session_base.loaded_theories.keys))))))))))
   }