From f25fa7b132ef08431455075dadcf1823a5796dba Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Mon, 13 Feb 2017 18:02:32 +0100 Subject: Seems to work reasonably well. --- src/knowledge/knowledge_finalize.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/knowledge/knowledge_finalize.c') diff --git a/src/knowledge/knowledge_finalize.c b/src/knowledge/knowledge_finalize.c index 37548d4..cec0ff6 100644 --- a/src/knowledge/knowledge_finalize.c +++ b/src/knowledge/knowledge_finalize.c @@ -2,6 +2,9 @@ #include "knowledge.h" +/*@ + requires \valid(sd); +@*/ static void knowledge_sequence_data_finalize ( struct ZoO_knowledge_sequence_data sd [const restrict static 1] @@ -27,7 +30,6 @@ static void knowledge_sequence_collection_finalize { ZoO_index i; - for (i = 0; i < c->sequences_ref_length; ++i) { knowledge_sequence_data_finalize(c->sequences_ref + i); @@ -36,12 +38,14 @@ static void knowledge_sequence_collection_finalize if (c->sequences_ref != (struct ZoO_knowledge_sequence_data *) NULL) { free((void *) c->sequences_ref); + c->sequences_ref = (struct ZoO_knowledge_sequence_data *) NULL; } if (c->sequences_ref_sorted != (ZoO_index *) NULL) { free((void *) c->sequences_ref_sorted); + c->sequences_ref_sorted = (ZoO_index *) NULL; } -- cgit v1.2.3-70-g09d2