3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00

Fix typo noted in #979. g++ is the default compiler rather than the gcc binary.

This commit is contained in:
Dan Liew 2017-04-20 17:22:05 +01:00
parent 0a0b17540f
commit 4b0f7bc222

View file

@ -53,7 +53,7 @@ make
sudo make install
```
Note by default ``gcc`` is used as the C++ compiler if it is available. If you
Note by default ``g++`` is used as the C++ compiler if it is available. If you
would prefer to use Clang change the ``mk_make.py`` line to
```bash