src/Tools/VSCode/src/dynamic_output.scala

--- a/src/Tools/VSCode/src/dynamic_output.scala	Sun Mar 12 13:41:16 2017 +0100
+++ b/src/Tools/VSCode/src/dynamic_output.scala	Sun Mar 12 13:48:10 2017 +0100
@@ -28,8 +28,7 @@
                 case Some(command) =>
                   copy(output =
                     if (!restriction.isDefined || restriction.get.contains(command))
-                      Rendering.output_messages(
-                        snapshot.state.command_results(snapshot.version, command))
+                      Rendering.output_messages(snapshot.command_results(command))
                     else output)
               }
             }