Convergence property of constrained BMPC (Model-based Predictive Control for Batch Processes) is investigated. BMPC is a recently developed control technique that combines iterative learning control with real-time predictive control. It is proven for a general class of linear constrained systems that the tracking error converges to zero as the run number increases.