16.10, at the end (just before 16.11
sequence s8;
int x,y;
(a ##1 (b, x = data, y = data1) ##1 c)
and (d ##1 (`true, x = data) ##0 (e==x))) ##1 (y==data2);
// legal because y is in the difference
endsequence
*Should be *
sequence s8;
int x,y;
*(*(a ##1 (b, x = data, y = data1) ##1 c)
and (d ##1 (`true, x = data) ##0 (e==x))) ##1 (y==data2);
// legal because y is in the difference
endsequence
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Apr 4 18:52:00 2012
This archive was generated by hypermail 2.1.8 : Wed Apr 04 2012 - 18:52:19 PDT