AUTOASCIIENUM problem in Verilog-mode

When using the AUTOASCIIENUM, the last parameter should not be empty "". If you do not have identified labels on FSM state parameters, you can just have a space there: " ". With empty parameter, it will make emacs halt.