[sv-ac] typo in 1757

Hi Folks:

In reviewing 1757 for the Champions meeting, I noticed a typo
on the last page:

On p. 8, the very last satisfaction relation
   should be changed from

      w^{0,i-1},L_0 \top^\omega |= P

   to

      w^{0,i-1}\top^\omega, L_0 |= P


I added a note to the Mantis item.

J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.