When a law authorizing a severance tax bond issue or supplemental severance tax bond issue contemplates the income of money for the retirement of the bond issue other than or in addition to the money in the severance tax bonding fund, then the money derived from such income shall be paid to the state treasurer and be credited to the specific bond issue account and deposited in the severance tax bonding fund.