Fix GPL option in README.md - Githubissues

CVC4 / homebrew-cvc4

Homebrew formula for CVC4

4 stars 7 forks source link

Fix GPL option in README.md #24

Closed ltentrup closed 6 years ago

ltentrup commented 6 years ago

Option enable-gpl is actually called with-gpl.