Parser bug in get-value

[BrunoDutertre]

Hi,

We've just found a bug in your parser related to the get-value command. The SMT-LIB syntax for get-value is

(get-value ( <terms>+ ))

(cf. SMT-LIB 2.6 page 45).

Your rule in get-value in parser.rs is missing the inner parentheses:

    command ::= LeftParen GetValue terms(xs) RightParen { extra.0.visit_get_value(xs)? }

It should be like this instead:

    command ::= LeftParen GetValue LeftParen terms(xs) RightParen RightParen { extra.0.visit_get_value(xs)? }

Thanks (and thanks for producing this parser!).

Bruno