]> Nishi Git Mirror - gwion.git/commitdiff
:art: Remove EOC2
authorfennecdjay <astor.jeremie@wanadoo.fr>
Sun, 10 Mar 2019 21:57:38 +0000 (22:57 +0100)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Sun, 10 Mar 2019 21:57:38 +0000 (22:57 +0100)
src/lib/instr.c

index 71b679ed32eed0b2cf8b0369773328ff460d7448..81cf6e992b1d3eb52a5468366c93a25791200e62 100644 (file)
@@ -26,11 +26,6 @@ INSTR(DTOR_EOC) { GWDEBUG_EXE
   vm_shred_exit(shred);
 }
 
-INSTR(EOC2) { GWDEBUG_EXE
-  shred->pc = 0;
-  shreduler_remove(shred->info->vm->shreduler, shred, 0);
-}
-
 /* branching */
 INSTR(SwitchIni) {
   const Vector v = (Vector)instr->m_val;