X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fjson.c;h=d26c89ed1c4535183ccf50ce12d328bf4716d29e;hb=aae51f53358dc7946f7f09a88b1e0dd40306a99a;hp=10fa3c121011a88876a5b43097b70de89a608572;hpb=4bda8288fb2fba14d02359f636375ca128aaad02;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