Venta vivienda habitual mayor de 65 años

Hola, 
Una persona de 100 años ha vendido su vivienda habitual en 2020. Me dicen que por estas circunstancias está exenta del impuesto de IRPF, pero la pregunta es: A pesar de estar exenta, se debe poner en la declaración de la renta?