X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fshash.c;h=da33fe8b6fab4b994ffc2c0ee3793c56f171cf7c;hb=dc81071d9fe21beaead51a9c0a8d87fbefbfcf56;hp=7bb8cd70b9bb59e12a18bf57e9c42bb1af329f37;hpb=00908dc27a4d93bd1c5bda3bcdc84ec351e9a09a;p=openvswitch

diff --git a/lib/shash.c b/lib/shash.c
index 7bb8cd70..da33fe8b 100644
--- a/lib/shash.c
+++ b/lib/shash.c
@@ -36,6 +36,7 @@ shash_destroy(struct shash *sh)
 {
     if (sh) {
         shash_clear(sh);
+        hmap_destroy(&sh->map);
     }
 }