diff -r cb0c407fbc6e -r 2b8a328138a6 src/Pure/Tools/build_job.scala
--- a/src/Pure/Tools/build_job.scala	Wed Dec 09 20:10:10 2020 +0100
+++ b/src/Pure/Tools/build_job.scala	Wed Dec 09 20:19:27 2020 +0100
@@ -107,7 +107,7 @@
               case None => progress.echo(thy_heading + ": MISSING")
               case Some(command) =>
                 progress.echo(thy_heading)
-                val snapshot = Document.State.init.snapshot().command_snippet(command)
+                val snapshot = Document.State.init.command_snippet(command)
                 val rendering = new Rendering(snapshot, options, session)
                 for (Text.Info(_, t) <- rendering.text_messages(Text.Range.full)) {
                   progress.echo(