--- a/src/Pure/PIDE/protocol.ML Thu Aug 06 17:51:37 2020 +0200
+++ b/src/Pure/PIDE/protocol.ML Thu Aug 06 22:43:40 2020 +0200
@@ -32,8 +32,7 @@
YXML.parse_body #> let open XML.Decode in list (pair string properties) end;
in
Resources.init_session
- {pide = true,
- session_positions = decode_sessions session_positions_yxml,
+ {session_positions = decode_sessions session_positions_yxml,
session_directories = decode_table session_directories_yxml,
docs = decode_list doc_names_yxml,
global_theories = decode_table global_theories_yxml,