We prove a Fedosov index formula for the index of Toeplitz operators connected with the Hardy space of solutions to an elliptic system of first order partial differential equations in a bounded domain of Euclidean space with infinitely differentiable boundary.