Reference for Sanhedrin 93:18

א"ל רבא מי קא מדמית נהרג מתוך רשעו למת מתוך רשעו מת מתוך רשעו כיון דכי אורחיה קמיית לא הויא ליה כפרה נהרג מתוך רשעו כיון דלאו כי אורחיה מיית הויא ליה כפרה

Again, had he taughtus only the latter, [one might have thought that] it was because it was notin his power to recover; but there [in the case of apostasy], since it wasin his power to return, one might say that it does not [remain invalidated].Both rulings are therefore necessary. R. Joseph said: We too have learnt similarly: If there are holy objectstherein,<span class="x" onmousemove="('comment',' The condemned city, all the property of which save holy things, have to be destroyed. Deut XIII, 16. ');">²⁹</span>

Jastrow