[sv-ac] Mantis 1932

Hi all,

 

I found a typo in until with definition. It was written:

 

(P_1 until with P_2) \equiv (not ((not P_2) until not P_1))

 

but should be

 

(P_1 until with P_2) \equiv (not ((not P_2) <until> not P_1))

 

I uploaded the updated version to Mantis.

 

Thanks,

Dmitry

 


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