[sv-ac] question about local variable declarations

All:

I'm doing some homework for 1668, and I am puzzled by
our current syntax for local variable declarations.

We have

   assertion_variable_declaration ::= 
      var_data_type list_of_variable_identifiers ;

and

   var_data_type ::= data_type | var data_type


Was it intended to allow the "var" keyword?  To what
purpose?

J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.