劍去池空一水寒，游人到此憑蘭干出自哪一首詩(shī)

劍去池空一水寒，游人到此憑蘭干出自徐忻的《劍池》。這句詩(shī)詞出自徐忻的《劍池》。
下面是這首詩(shī)的全文：
劍去池空一水寒，游人到此憑蘭干。年來(lái)是事消磨盡，只有青山好靜看。