From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Sun, 13 Oct 2019 19:54:10 +0000 (+0200)
Subject: :art: Update value
X-Git-Tag: nightly~2150
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=82f9ed2e394ae63e5da33eea16604a7aaa0d6f44;p=gwion.git

:art: Update value
---

diff --git a/src/oo/value.c b/src/oo/value.c
index f069b3b3..9007e86c 100644
--- a/src/oo/value.c
+++ b/src/oo/value.c
@@ -14,7 +14,7 @@ ANN static void free_value(Value a, Gwion gwion) {
       !(GET_FLAG(a, enum) && GET_FLAG(a, builtin) && a->from->owner_class)
       && isa(t, gwion->type[et_object]) < 0)
    _mp_free(gwion->mp, t->size, a->d.ptr);
-  if(GET_FLAG(a, enum) && GET_FLAG(a, dtor))
+  else if(GET_FLAG(a, enum) && GET_FLAG(a, dtor))
     xfree(a->d.ptr);
   if(is_class(gwion, t))
     REM_REF(t, gwion)