search

tlaplus / tlapm

The TLA Proof Manager
https://proofs.tlapl.us/
BSD 2-Clause "Simplified" License
65 stars 20 forks source link

fix wrong expansion of @ in nested EXCEPT #79

Closed damiendoligez closed 3 months ago

damiendoligez commented 1 year ago

A rather subtle bug caused by the use of nested visitors.

fixes #77