X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpool.c;h=41d4e74862cf703bc738039025e17d8818a9c102;hb=b2f22a54346df45ab24d83e1228700649f62d63c;hp=d3b536b2c240d7b681f3456c5880ca677f6c9b2d;hpb=205ac3afa4c2b19c85819d8695abf3975bb11807;p=pspp

diff --git a/src/pool.c b/src/pool.c
index d3b536b2c2..41d4e74862 100644
--- a/src/pool.c
+++ b/src/pool.c
@@ -643,6 +643,7 @@ free_all_gizmos (struct pool *pool)
       next = cur->next;
       free_gizmo (cur);
     }
+  pool->gizmos=NULL;
 }
 
 /* Memory allocation. */