From b9333838ad8973df8d99923b406cde709b26ac2f Mon Sep 17 00:00:00 2001
From: JP Smith <jp.smith@ilstu.edu>
Date: Thu, 14 Sep 2017 11:52:15 -0500
Subject: [PATCH] install z3 with pip in Dockerfile (#502)

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 08bbaa4..3316be4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -2,7 +2,7 @@ FROM ubuntu:16.04
 MAINTAINER JP Smith
 
 RUN apt-get -y update && \
-	DEBIAN_FRONTEND=noninteractive apt-get -y install z3 python-pip git && \
+	DEBIAN_FRONTEND=noninteractive apt-get -y install python-pip git && \
 	git clone https://github.com/trailofbits/manticore.git && \
 	cd manticore && \
 	pip install .