Type of repair mechanism in which mismatched bases are removed after replication.