src/Tools/VSCode/src/vscode_resources.scala

       {
         val changed_iterator =
           for {
             node_name <- st.pending_output.iterator
             model <- st.models.get(node_name.node)
-            rendering = model.rendering(options)
+            rendering = model.rendering()
             (diagnostics, model1) <- model.publish_diagnostics(rendering)
           } yield {
             channel.diagnostics(model1.uri, rendering.diagnostics_output(diagnostics))
             model1
           }