Even if he didn't, he still 100% sure killed another guy, so yeah, DKR's Batman kills people. Don't know why people are trying to fight it so much. Is it because they wanna pretend Snyder is portraying Batman in a completely stupid way that has ab****ely nothing to do with the comics? He isn't.