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