From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Sun, 10 Mar 2019 21:57:38 +0000 (+0100)
Subject: :art: Remove EOC2
X-Git-Tag: nightly~2753^2~8
X-Git-Url: http://10.11.0.4:5575/?a=commitdiff_plain;h=518433920f4cb99443d0fbd96b9a9d1d64e26b8f;p=gwion.git

:art: Remove EOC2
---

diff --git a/src/lib/instr.c b/src/lib/instr.c
index 71b679ed..81cf6e99 100644
--- a/src/lib/instr.c
+++ b/src/lib/instr.c
@@ -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;