Hi, Catherine. It was just pointed out in http://verificationguild.com/modules.php?name=Forums&file=viewtopic&p=17021 that in subclause 9.7, in the code example beginning, "task do_n_way( int N );", that the following line: "begin job[j] = process::self(); ... ; end" should actually be "begin job[k] = process::self(); ... ; end" That is, "job[j]" should be "job[k]". Can we still get this fixed in the final version of the standard? Thanks, Shalom --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Dec 15 01:51:00 2009
This archive was generated by hypermail 2.1.8 : Tue Dec 15 2009 - 01:51:55 PST