Dol pri Hrastniku to miejscowość w to miejscowość, która 1992 należała do Jugosławia i znajdowała się w okręgu administracyjnym Socialistična rep. Slovenija.
Dol pri Hrastniku to miejscowość należąca dawniej do Rzeszy Niemieckiej. W Rzeszy Niemieckiej miejscowość nazywała się Obertal. Dziś miejscowość nazywa się Dol i należy do Słowenia.