Formica gibbosa Smith, F.

This taxon is a junior homonym and has been replaced by Dolichoderus quadridenticulatus.