The man arrested in April after an officer-involved shooting that injured him and three children has been formally charged in Choctaw County with holding up the Pizza Hut in Hugo. They charged 21-year-old William Devaughn Smith, Jr., with felony robbery with a weapon. His bond was set at $50,000.