If funds are made available for the payment of the principal, interest, and premium on the bonds called, the interest on the bonds shall cease after the date fixed for redemption.
(Added by Stats. 1947, Ch. 424.)