From 518433920f4cb99443d0fbd96b9a9d1d64e26b8f Mon Sep 17 00:00:00 2001
From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Sun, 10 Mar 2019 22:57:38 +0100
Subject: [PATCH] :art: Remove EOC2

---
 src/lib/instr.c | 5 -----
 1 file changed, 5 deletions(-)

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;
-- 
2.43.0