Re: vhdl-mode bug