Let A(theta) be the irrational rotation algebra, i. e. the C*-algebra generated by two unitaries U, V satisfying VU = e2-pi-i-theta UV, with theta-irrational, and consider the fixed point subalgebra B(theta) under the flip automorphism U --> U-1, V --> V-1. We prove that B(theta) is an AF-algebra.