From 55ea75d0a9cfbc9bdd3f6791fab236351648f50b Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Tue, 12 Jan 2016 11:25:30 +0000 Subject: [PATCH] Fix minor typo in ``README.md`` --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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