Myrmica smythiesi himalayana

This taxon is not in use as it is currently considered to be a junior synonym of Myrmica smythiesii.