Yes - correct. When you turn the starter it should jump to 12V.
However, as the distributor takes its 12V feed from the coil, I'm going to assume that it's a 12V non ballast system. (I have a ballast resistor, and the feed for my ignition module is taken from the 12V side of the ballast resistor, not the 9V)