From d3704725b283a9d90d7d1fa65d3fb90d9b96e942 Mon Sep 17 00:00:00 2001
From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>
Date: Mon, 22 Apr 2019 13:24:03 -0300
Subject: [PATCH] Update README.md

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index d346732..4ae4c74 100644
--- a/README.md
+++ b/README.md
@@ -62,8 +62,10 @@ Runtime:
 
 ## Building on Ubuntu 16.04 (Xenial)
 
+First make sure you install [Python 3.6 or greater](https://askubuntu.com/a/865569). Then use this command line to install additional requirements and compile DeepState:
+
 ```shell
-sudo apt update && sudo apt-get install build-essential gcc-multilib g++-multilib cmake python python3-setuptools libffi-dev z3
+sudo apt update && sudo apt-get install build-essential gcc-multilib g++-multilib cmake python3-setuptools libffi-dev z3
 git clone https://github.com/trailofbits/deepstate deepstate
 mkdir deepstate/build && cd deepstate/build
 cmake ../