That may do it if it’s cached on the device, but is probably unnecessary. You can flush the DNS cache in a few ways, depending on your OS.
Windows
Mac
Linux