Skip to content

Fix infinite rule when printing loop#1826

Merged
rgrinberg merged 1 commit intoocaml:masterfrom rgrinberg:fix-print-rules-loopFeb 11, 2019

Commits

Commits on Feb 11, 2019