]> Nishi Git Mirror - gwion.git/commitdiff
:shirt: remove unused
authorfennecdjay <astor.jeremie@wanadoo.fr>
Sun, 20 Jan 2019 20:21:57 +0000 (21:21 +0100)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Sun, 20 Jan 2019 20:21:57 +0000 (21:21 +0100)
src/lib/instr.c

index bc941dd3e32254cef4d1c4f77154423d520e04b2..c543a8195ca34ace32bdd241234d641f6efb3baa 100644 (file)
@@ -200,7 +200,6 @@ INSTR(BranchSwitch) { GWDEBUG_EXE
   shred->pc = map_get(map, (vtype)*(m_int*)REG(offset));
   if(!shred->pc)
     shred->pc = instr->m_val;
-//  if(offset)free_map(map);
 }
 
 #define branch(name, type, sz, op)      \