]> Nishi Git Mirror - gwion.git/commitdiff
:art: Remove unused variable
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 6 May 2020 13:56:19 +0000 (15:56 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 6 May 2020 13:56:19 +0000 (15:56 +0200)
src/lib/shred.c

index 9153807eea8d5665c5711c2cb58f4e572458f036..553409374cba12e1ad55368cc02b607e93deeaa9 100644 (file)
@@ -161,7 +161,6 @@ static void stop(const M_Object o) {
 }
 
 static void join(const M_Object o) {
-  VM *vm = ME(o)->info->vm;
   if(FORK_THREAD(o)) {
     THREAD_JOIN(FORK_THREAD(o));
     FORK_THREAD(o) = 0;