src/Tools/VSCode/src/protocol.scala

   }
 
   object Dynamic_Output
   {
     def apply(body: String): JSON.T =
-      Notification("PIDE/dynamic_output", body)
+      Notification("PIDE/dynamic_output", Map("body" -> body))
   }
 }