X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fjson.c;h=d26c89ed1c4535183ccf50ce12d328bf4716d29e;hb=10df718e73122df2f3b04ed585e50e4b299a8cbd;hp=10fa3c121011a88876a5b43097b70de89a608572;hpb=a0bc29a541fc7dc6e20137d5558e2094d614e6ab;p=openvswitch

diff --git a/lib/json.c b/lib/json.c
index 10fa3c12..d26c89ed 100644
--- a/lib/json.c
+++ b/lib/json.c
@@ -277,7 +277,7 @@ json_real_create(double real)
 void
 json_object_put(struct json *json, const char *name, struct json *value)
 {
-    shash_add(json->u.object, name, value);
+    json_destroy(shash_replace(json->u.object, name, value));
 }
 
 void