src/Pure/PIDE/protocol.scala
changeset 65471 05e5bffcf1d8
parent 65470 a0f49174dbeb
child 65532 febfd9f78bd4
     1.1 --- a/src/Pure/PIDE/protocol.scala	Wed Apr 12 21:13:43 2017 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Wed Apr 12 22:32:55 2017 +0200
     1.3 @@ -314,7 +314,7 @@
     1.4      protocol_command("Prover.session_base",
     1.5        Symbol.encode(resources.default_qualifier),
     1.6        encode_table(resources.session_base.global_theories.toList),
     1.7 -      encode_table(resources.session_base.dest_loaded_theories),
     1.8 +      encode_table(resources.session_base.loaded_theories.toList),
     1.9        encode_table(resources.session_base.dest_known_theories))
    1.10  
    1.11