]> Nishi Git Mirror - gwion.git/commitdiff
:art: Update headers
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 6 Dec 2019 16:11:37 +0000 (17:11 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 6 Dec 2019 16:11:37 +0000 (17:11 +0100)
include/gwion.h
src/gwion.c
src/lib/shred.c

index d35b4498761ba5d2282da2f6ec218d8905a74526..6ddba52e9cfc04e76206dcf5439eb50d507fd2e6 100644 (file)
@@ -23,4 +23,5 @@ ANN VM* gwion_cpy(const VM*);
 ANN void gwion_run(const Gwion gwion);
 ANN void gwion_end(const Gwion gwion);
 void free_code_instr(const Vector v, const Gwion gwion);
+ANN void gwion_end_child(const VM_Shred shred, const Gwion gwion);
 #endif
index b59b16343f6cee29b62a93885f71914221079d1e..ccf79a88c295c064eb969e6a8c502a9fe58b4c81 100644 (file)
@@ -102,8 +102,6 @@ ANN void gwion_run(const Gwion gwion) {
   vm->bbq->driver->run(vm, vm->bbq);
 }
 
-ANN void gwion_end_child(const VM_Shred shred, const Gwion gwion);
-
 ANN static inline void free_gwion_cpy(const Gwion gwion, const VM_Shred shred) {
   gwion_end_child(shred, gwion);
   free_vm(gwion->vm);
index f6d2ca0ba1dcbb29e02022b281eae9858aeac01d..71dc68929de1aeebcb4d78185418375784611f0a 100644 (file)
@@ -169,7 +169,7 @@ static DTOR(fork_dtor) {
       vector_init(&vm->gwion->data->child2);
     vector_add(&vm->gwion->data->child2, (vtype)ME(o)->info->vm->gwion);
   }
-  gwion_end_child(ME(o)->info->vm->gwion, shred);
+  gwion_end_child(shred, ME(o)->info->vm->gwion);
   join(o);
 }