we don't need this TODO anymore (#120)

wasmi-labs · Aug 3, 2018 · 929ac56 · 929ac56
1 parent 8ca6b4b
commit 929ac56
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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.