Let $f:M\to M$ be a $C^{1+\alpha}$ diffeomorphism and let $\Lambda\subset M$ be a transitive Axiom A attractor. Then there exists a unique SRB measure $\mu_{\mathrm{SRB}}$ supported on $\Lambda$. Its basin contains a full smooth-volume subset of the topological basin of attraction of $\Lambda$.