X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fshash.c;h=da33fe8b6fab4b994ffc2c0ee3793c56f171cf7c;hb=6c88d577e83db12f73df12be8fc575419b011fda;hp=7bb8cd70b9bb59e12a18bf57e9c42bb1af329f37;hpb=8398cf7efc3979cd6c8152915a584c13873ee322;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);
     }
 }