Original: When he left, they reported the gun to a police officer who was doing paperwork there, setting off an investigation.
Updated: Restaurant workers reported the gun to a police officer who was there, setting off an investigation.