--- a/src/Pure/PIDE/session.scala Sun Apr 11 21:32:09 2021 +0200
+++ b/src/Pure/PIDE/session.scala Sun Apr 11 22:47:55 2021 +0200
@@ -506,7 +506,7 @@
case Protocol.Export(args)
if args.id.isDefined && Value.Long.unapply(args.id.get).isDefined =>
val id = Value.Long.unapply(args.id.get).get
- val export = Export.make_entry("", args, msg.bytes, cache)
+ val export = Export.make_entry("", args, msg.chunk, cache)
change_command(_.add_export(id, (args.serial, export)))
case Protocol.Loading_Theory(node_name, id) =>