Fix AST pretty print for < and <= - Githubissues

septract / starling-tool

An automatic verifier for concurrent algorithms.

MIT License

7 stars 4 forks source link

Fix AST pretty print for < and <= #154

Closed bensimner closed 1 year ago