Bugfix: Set global pointers to NULL after they are freed.

[r22528]

diff --git a/heuristical.c b/heuristical.c
index f9c0132..37f62ac 100644 (file)
--- a/heuristical.c
+++ b/heuristical.c
@@ -35,10 +35,14 @@ static void free_buckets(void)
 
        for (i = 0; i < 4; ++i) {
                DEL_ARR_F(node_buckets[i]);
+               node_buckets[i] = NULL;
        }
 
        DEL_ARR_F(edge_bucket);
+       edge_bucket = NULL;
+
        DEL_ARR_F(reduced_bucket);
+       reduced_bucket = NULL;
 
        buckets_filled = 0;
 }