[#847] Delete a set_trace()