]> Nishi Git Mirror - gwion.git/commitdiff
:art: Update value
authorfennecdjay <astor.jeremie@wanadoo.fr>
Sun, 13 Oct 2019 19:54:10 +0000 (21:54 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Sun, 13 Oct 2019 19:54:10 +0000 (21:54 +0200)
src/oo/value.c

index f069b3b3d59cf99e98112aee7ce6e1dc919f8373..9007e86c109139c9bf5bfe5a004c7e4d9a658f5c 100644 (file)
@@ -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)