diff --git a/common/utils/T/tracer/gui/container.c b/common/utils/T/tracer/gui/container.c index 3ec408ecd7a35aef01039b9e5d638d505f7eee33..344f864382fe10e699f0eaaf1b889c94952ad02c 100644 --- a/common/utils/T/tracer/gui/container.c +++ b/common/utils/T/tracer/gui/container.c @@ -49,7 +49,7 @@ static void del_child(gui *g, widget *_this, widget *child) (this->nchildren - position - 1) * sizeof(int)); this->growable = realloc(this->growable, (this->nchildren-1)*sizeof(int)); - if (this->growable == NULL) abort(); + if (this->nchildren != 1 && this->growable == NULL) abort(); this->nchildren--; }