  We prove a generalized version of Renault's theorem for Cartan subalgebras.
We show that the original assumptions of second countability and separability
are not needed. This weakens the assumption of topological principality of the
underlying groupoid to effectiveness.
