瓜城

又名虢城。即今山西孝义县北虢城。《寰宇记》卷41汾州孝义县：“瓜城在县北十里。此本虢城也。”