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