Skip to content

Commit

Permalink
Fix minor typo in README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Dan Liew committed Jan 12, 2016
1 parent 08139d1 commit 55ea75d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 55ea75d

Please sign in to comment.