证两种说法。大兴初年，王导久病未愈，听信方士之言将冶炼作坊迁至石头城东，以冶城为西园。太元十五年（390年），在此建冶城寺，元兴三年（404年）桓玄废寺为别苑，桓玄兵败后复为冶城寺，刘宋时设总明观。梁绍泰元年（555年），陈霸先派徐度立栅于冶城，抵挡北齐将领徐嗣徽的进攻。隋灭陈后，冶城寺遭废弃。