-
Alexandre Duret-Lutz authored
Merge all ltlast/ files into formula.hh. The forward declaration of visitor was causing error messages too cryptic for users.
25a31142
To find the state of this project's repository at the time of any of these versions, check out the tags.