(Devarim 17:7) "The hand of the witnesses shall be against him first to kill him": It is a mitzvah for the witnesses to kill him.