diff -r a5d1d1e2f109 -r 22b5ecb53dd9 src/Pure/PIDE/session.scala
--- 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) =>