src/Tools/VSCode/src/vscode_resources.scala
changeset 64704 08c2d80428ff
parent 64703 a115391494ed
child 64706 3ebf9f8299df
--- a/src/Tools/VSCode/src/vscode_resources.scala	Thu Dec 29 21:54:04 2016 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Thu Dec 29 22:10:29 2016 +0100
@@ -101,7 +101,7 @@
           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))