現在の梓川のことは、この大野を流れていたことから、「古くは大野川と言っていたと思われる」。