Section 12.4 (Syntax 12-2 and Syntax 12-4)

LRM-360

Changes (missing bold):

constraint_block ::=

solve identifier_list before identifier_list ;

| expression dist { dist_list } ;

| constraint_expression

Changes (missing bold):

constraint_block ::=

…

| expression dist { dist_list } ;