src/Pure/Tools/build_job.scala

                 val syntax = result_base.theory_syntax(name)
                 Command.build_blobs_info(syntax, name, spans)
               case None => Command.Blobs_Info.none
             }
           }
-        }
-      def make_rendering(snapshot: Document.Snapshot): Rendering =
-        new Rendering(snapshot, options, session) {
-          override def model: Document.Model = ???
         }
 
       object Build_Session_Errors
       {
         private val promise: Promise[List[String]] = Future.promise

         }
 
       session.finished_theories += Session.Consumer[Document.Snapshot]("finished_theories")
         {
           case snapshot =>
-            val rendering = make_rendering(snapshot)
+            val rendering = new Rendering(snapshot, options, session)
 
             def export(name: String, xml: XML.Body, compress: Boolean = true)
             {
               val theory_name = snapshot.node_name.theory
               val args =