diff --git a/src/optimization/mipVerify.jl b/src/optimization/mipVerify.jl
index cbf18f38..66aba9db 100644
--- a/src/optimization/mipVerify.jl
+++ b/src/optimization/mipVerify.jl
@@ -34,6 +34,7 @@ function solve(solver::MIPVerify, problem::Problem)
     model = Model(solver)
     neurons = init_neurons(model, problem.network)
     deltas = init_deltas(model, problem.network)
+    add_set_constraint!(model, problem.input, first(neurons))
     add_complementary_set_constraint!(model, problem.output, last(neurons))
     bounds = get_bounds(problem)
     encode_network!(model, problem.network, neurons, deltas, bounds, BoundedMixedIntegerLP())