src/Tools/VSCode/extension/src/extension.ts

--- a/src/Tools/VSCode/extension/src/extension.ts	Tue May 30 22:09:37 2017 +0200
+++ b/src/Tools/VSCode/extension/src/extension.ts	Tue May 30 22:14:00 2017 +0200
@@ -94,7 +94,7 @@
     client.onReady().then(() =>
     {
       client.onNotification(protocol.dynamic_output_type,
-        params => { dynamic_output.clear(); dynamic_output.appendLine(params.body) })
+        params => { dynamic_output.clear(); dynamic_output.appendLine(params.content) })
     })