  A Szeg\"o-type theorem for Toeplitz operators was proved by Boutet de Monvel
and Guillemin for general Toeplitz structures. We give a local version of this
result in the setting of positive line bundles on compact symplectic manifolds.
