message: vhdl: fix // in extended identifier
diff: @@ -174,7 +174,7 @@ BASIC_IDENTIFIER:
  LETTER ( ( UNDERSCORE )? LETTER_OR_DIGIT )*
  ;
  EXTENDED_IDENTIFIER:
  - BACKSLASH (GRAPHIC_CHARACTER)+ BACKSLASH
  + BACKSLASH (GRAPHIC_CHARACTER | (BACKSLASH BACKSLASH))+ BACKSLASH
  ;
  DECIMAL_LITERAL: INTEGER ( DOT INTEGER )? ( EXPONENT )?;
  INTEGER: DIGIT ( ( UNDERSCORE )? DIGIT )*;
  