diff --git a/Project2.fst b/Project2.fst
index a5e2862..1535b81 100644
--- a/Project2.fst
+++ b/Project2.fst
@@ -135,7 +135,7 @@ let step te cs  =
 	     | (BALANCE, a::stack') -> let (bal, _, _) = (gs a) in
             Next (Exec(((gas-1, pc+1, mem, bal::stack'), (actor, input, code), gs') :: ps))
 	     | (ADDRESS, stack') -> Next (Exec(((gas-1, pc+1, mem, actor::stack'), (actor, input, code), gs)::ps))
-	     | (INPUT, stack') -> magic ()
+	     | (INPUT, stack') -> Next (Exec(((gas-1, pc+1, mem, input::stack'), (actor, input, code), gs) :: ps))
 	     | (GAS, stack') -> Next (Exec(((gas-1, pc+1, mem, gas::stack'), (actor, input, code), gs)::ps))
 	     | (JUMP i, stack') -> Next (Exec((((gas-1, i, mem, stack'), (actor, input, code), gs))::ps))
 	     | (JUMPI i, b::stack') -> magic ()