No, he used the AR.
My memory says they found it in the trunk afterwards.
Either way, it isn’t an assault rifle.