]> Nishi Git Mirror - gwion.git/commitdiff
:art: Clean shred
authorfennecdjay <astor.jeremie@wanadoo.fr>
Thu, 16 May 2019 13:11:44 +0000 (15:11 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Thu, 16 May 2019 13:11:44 +0000 (15:11 +0200)
src/lib/shred.c

index 4863638729cdc2c53d3572c98be6c1c12b1463b7..25a24394063d7919cba14342aaf3ad1d62ac73f8 100644 (file)
@@ -115,7 +115,7 @@ describe_path_and_dir(_code, s->code->name)
 
 static DTOR(shred_dtor) {
   VM *vm = ME(o)->info->vm;
-  free_vm_shred(*(VM_Shred*)o->data);
+  free_vm_shred(ME(o));
   if(isa(o->type_ref, t_fork) > 0)
     free_vm(vm);
 }