--- a/src/Pure/PIDE/session.scala Sat Dec 31 14:58:34 2022 +0100
+++ b/src/Pure/PIDE/session.scala Sat Dec 31 15:32:12 2022 +0100
@@ -487,7 +487,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 entry = Export.make_entry(Sessions.DRAFT, args, msg.chunk, cache)
+ val entry = Export.Entry.make(Sessions.DRAFT, args, msg.chunk, cache)
change_command(_.add_export(id, (args.serial, entry)))
case Protocol.Loading_Theory(node_name, id) =>