Closed LSaldyt closed 6 years ago
Trivial pull request. I ran into a few typos, then looked for more with aspell.
aspell
Thanks for the PR, we'll incorporate these fixes.
Resolved by https://github.com/probcomp/Venturecxx/commit/476893a5d7028677bfc6c1271bdf10ef1874d8f0
Trivial pull request. I ran into a few typos, then looked for more with
aspell
.