[SMT-LIB] user_value vs. string

[Christoph M. Wintersteiger]

Hi all!

just a short suggestion: Currently the rule for an annotation in smt-lib
format is

annotation ::= <attribute> | <attribute> <user_value>

while a user_value is of the form {...}.

However, some theory-files (e.g. BitVecter32.smt) have annotation in
string form "...".

So, maybe it would be a good idea to update the standard to an
annotation rule like

annotation ::= <attribute> | <attribute> <user_value> | <attribute>
<string>

or maybe get rid of the user_value at all?

Greetings,
Christoph