‘And when a man sells a house in a walled city, then his right of redemption shall be at the end of the year after it is sold. His right of redemption lasts a year.