--- a/src/Pure/PIDE/protocol.scala Fri Sep 15 19:56:23 2017 +0200
+++ b/src/Pure/PIDE/protocol.scala Sat Sep 16 15:35:56 2017 +0200
@@ -316,11 +316,14 @@
Symbol.encode_yxml(list(pair(string, string))(table))
}
- def session_base(resources: Resources): Unit =
+ def session_base(resources: Resources)
+ {
+ val base = resources.session_base.standard_path
protocol_command("Prover.session_base",
- encode_table(resources.session_base.global_theories.toList),
- encode_table(resources.session_base.loaded_theories.toList),
- encode_table(resources.session_base.dest_known_theories))
+ encode_table(base.global_theories.toList),
+ encode_table(base.loaded_theories.toList),
+ encode_table(base.dest_known_theories))
+ }
/* interned items */