My opinion is to box off the old wire, tape or wire nut inside of the box might also be good. This way if someone ever does energize that old wire, it doesn't a hazard in the wall. I have seen where an old wire, somhow got energized and was sitting inside a wall for many years before it started a fire.
