From 8b18e549126d4c04ecf909c652040aa94cabcb55 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 10 Apr 2015 18:04:44 +0100
Subject: Add missing slash in last commit.

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

(limited to 'Dockerfile')

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``.
-- 
cgit 1.4.1