[sv-ec] Typo in 12.16.7

In 12.16.7, in the first example in this section, the last line
of the randsequence is
    gen( string s = "done" ) : { $display( s }; } ;

The arguements to $display should be closed with a ')' instead of '}' as in

    gen( string s = "done" ) : { $display( s ); } ;

- Ray
Received on Mon May 24 10:06:12 2004