[sv-ac] Incomplete/incorrect local variable flow rule

Hi,

Local variable flow rule (2nd) in F.5.4 seems to have some gap as there are different number of '(' and ')' in the RHS.
------
- flow (X , ( t v; R )) = (X {v}) U flow (X - {v}, R) - {v} ).
-------
Any suggestions? Should there be a Mantis for this?

Warm regards,
Tapan
"You must be the change you want to see in the world" : Mahatma Gandhi

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