src/Pure/PIDE/protocol.scala
changeset 65532 febfd9f78bd4
parent 65471 05e5bffcf1d8
child 66379 6392766f3c25
     1.1 --- a/src/Pure/PIDE/protocol.scala	Fri Apr 21 13:51:43 2017 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Fri Apr 21 14:09:03 2017 +0200
     1.3 @@ -312,7 +312,6 @@
     1.4  
     1.5    def session_base(resources: Resources): Unit =
     1.6      protocol_command("Prover.session_base",
     1.7 -      Symbol.encode(resources.default_qualifier),
     1.8        encode_table(resources.session_base.global_theories.toList),
     1.9        encode_table(resources.session_base.loaded_theories.toList),
    1.10        encode_table(resources.session_base.dest_known_theories))