mirror of
https://github.com/Z3Prover/z3
synced 2025-04-16 22:05:36 +00:00
Merge pull request #414 from delcypher/typo_readme
Fix minor typo in ``README.md``
This commit is contained in:
commit
905fa56120
Fix minor typo in ``README.md``