And if a man sell a dwelling-house in a walled city: then shall the time of redemption last till the end of the year of his sale; a full year shall his time of redemption last.