One investigates the smoothness of the solutions of variational inequalities, connected with second-order linear diagonal elliptic systems under convex constraints on the solution at the boundary of the domain. One establishes the Holder continuity of the first derivatives of the solutions up to the boundary of the domain.