Sahih al-Bukhari
Sahih al-Bukhari 3017
حَدَّثَنَا عَلِيُّ بْنُ عَبْدِ اللَّهِ، حَدَّثَنَا سُفْيَانُ، عَنْ أَيُّوبَ، عَنْ عِكْرِمَةَ، أَنَّ عَلِيًّا ـ رضى الله عنه ـ حَرَّقَ قَوْمًا، فَبَلَغَ ابْنَ عَبَّاسٍ فَقَالَ لَوْ كُنْتُ أَنَا لَمْ أُحَرِّقْهُمْ، لأَنَّ النَّبِيَّ صلى الله عليه وسلم قَالَ " لاَ تُعَذِّبُوا بِعَذَابِ اللَّهِ ". وَلَقَتَلْتُهُمْ كَمَا قَالَ النَّبِيُّ صلى الله عليه وسلم " مَنْ بَدَّلَ دِينَهُ فَاقْتُلُوهُ ".
'Ali ibn 'Abdullah narrated to us; Sufyan narrated to us from Ayyub, from 'Ikrima: 'Ali (may Allah be pleased with him) burned a group of people. When this reached Ibn 'Abbas, he said: ‘Had I been in his place, I would not have burned them, because the Prophet (ﷺ) said, ‘Do not punish with Allah's punishment.’ I would have killed them, as the Prophet (ﷺ) said, ‘Whoever changes his religion, kill him.’’
Translation notes
وَلَقَتَلْتُهُمْ كَمَا قَالَ النَّبِيُّ صلى الله عليه وسلم " مَنْ بَدَّلَ دِينَهُ فَاقْتُلُوهُ ".
The Arabic says whoever changes his religion and does not specify a Muslim in this clause; the English witness inserts that specification parenthetically.
Confirm that the translation should keep to the wording of the Arabic source.