diff options
| author | Mattias Andrée <m@maandree.se> | 2026-06-01 19:07:14 +0200 |
|---|---|---|
| committer | Mattias Andrée <m@maandree.se> | 2026-06-01 19:07:14 +0200 |
| commit | 77ade8d20906fe9ca2cf6788ff1e1437e0912868 (patch) | |
| tree | 61495e90e057bf792bb1d8ce157cef0ecc2ab696 /libnormalform_free.c | |
| parent | First commit (diff) | |
| download | libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.gz libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.bz2 libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.xz | |
Signed-off-by: Mattias Andrée <m@maandree.se>
Diffstat (limited to '')
| -rw-r--r-- | libnormalform_free.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/libnormalform_free.c b/libnormalform_free.c index 3bce4df..26353c8 100644 --- a/libnormalform_free.c +++ b/libnormalform_free.c @@ -56,12 +56,11 @@ destroy_term(struct libnormalform_term *this) while (this->term.clause.nterms) destroy_term(&this->term.clause.terms[--this->term.clause.nterms]); free(this->term.clause.terms); - free(this); break; case LIBNORMALFORM_TRANSFORMATION: + destroy_term(this->term.transformation.sentence); free(this->term.transformation.sentence); - free(this); return; case LIBNORMALFORM_FOR_ALL: @@ -74,13 +73,12 @@ destroy_term(struct libnormalform_term *this) destroy_term(this->term.qualification.predicate); free(this->term.qualification.antecedent); free(this->term.qualification.predicate); - /* fall through */ + break; case LIBNORMALFORM_VARIABLE: case LIBNORMALFORM_NEGATED_VARIABLE: case LIBNORMALFORM_FUNCTION: case LIBNORMALFORM_NEGATED_FUNCTION: - free(this); break; default: |