1 files changed, 0 insertions, 2 deletions
diff --git a/Dockerfile b/Dockerfile
index 393d1656..f97ffabd 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -38,8 +38,6 @@ RUN apt-get update && \
         wget \
         unzip \
         binutils && \
-    pip install -U setuptools && \
-    pip install -U pip && \
     pip install -U lit tabulate
 
 # Create ``klee`` user for container with password ``klee``.