src/Pure/Tools/server_commands.scala

--- a/src/Pure/Tools/server_commands.scala	Mon Dec 07 19:45:52 2020 +0100
+++ b/src/Pure/Tools/server_commands.scala	Mon Dec 07 20:26:09 2020 +0100
@@ -276,7 +276,7 @@
                     val matcher = Export.make_matcher(args.export_pattern)
                     for { entry <- snapshot.exports if matcher(entry.theory_name, entry.name) }
                     yield {
-                      val (base64, body) = entry.uncompressed().maybe_base64
+                      val (base64, body) = entry.uncompressed.maybe_base64
                       JSON.Object("name" -> entry.name, "base64" -> base64, "body" -> body)
                     }
                   }))