From d75a7781be0d4f95764fb97919624347054a2369 Mon Sep 17 00:00:00 2001
From: Guanqun Lu <guanqun.lu@gmail.com>
Date: Thu, 2 Aug 2018 23:31:47 +0800
Subject: [PATCH] we don't need this TODO anymore

---
 src/isa.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/isa.rs b/src/isa.rs
index 5640c7a..e818862 100644
--- a/src/isa.rs
+++ b/src/isa.rs
@@ -93,7 +93,6 @@ pub struct Target {
 	pub drop_keep: DropKeep,
 }
 
-#[allow(unused)] // TODO: Remove
 #[derive(Debug, Clone, PartialEq)]
 pub enum Instruction {
 	/// Push a local variable or an argument from the specified depth.