diff --git a/README.md b/README.md index 6ab4f7d20..534c6c378 100644 --- a/README.md +++ b/README.md @@ -148,7 +148,7 @@ and install Z3 there. ```bash virtualenv venv -source venv/bin/active +source venv/bin/activate python scripts/mk_make.py --python cd build make