retype

To type something again, usually to fix or redo it.