# HG changeset patch
# User Christian Wirth <christian.wirth@oracle.com>
# Date 1403270707 -7200
# Node ID e8eeee2176ffda76e539e96011f9291b6d28a3d5
# Parent  da0847068801fb57523bb79394fd310ace672537
fix JSON output format

diff -r da0847068801 -r e8eeee2176ff graal/com.oracle.truffle.api/src/com/oracle/truffle/api/utilities/JSONHelper.java
--- a/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/utilities/JSONHelper.java	Fri Jun 20 15:21:56 2014 +0200
+++ b/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/utilities/JSONHelper.java	Fri Jun 20 15:25:07 2014 +0200
@@ -48,8 +48,8 @@
 
     public static void dumpNewNode(Node newNode) {
         if (AstJsonDumpBuilder != null) {
-            AstJsonDumpBuilder.append("{ \"action\": \"createNode\", \"newId\": \"" + getID(newNode) + "\", \"newType\": \"" + getType(newNode) + "\"" + "\"newDescription\": \"" +
-                            newNode.getDescription() + "\"" + "\"newLanguage\": \"" + newNode.getLanguage() + "\"" + getSourceSectionInfo(newNode) + " },\n");
+            AstJsonDumpBuilder.append("{ \"action\": \"createNode\", \"newId\": \"" + getID(newNode) + "\", \"type\": \"" + getType(newNode) + "\", \"description\": \"" + newNode.getDescription() +
+                            "\", \"language\": \"" + newNode.getLanguage() + "\"" + getSourceSectionInfo(newNode) + " },\n");
         }
     }