From 2a0eca57580e50812b17d8b39ad5c3266511fecc Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 14 Jan 2016 16:10:53 +0000
Subject: Try to unbreak the Docker build broken by
 cece05cadf6a624afd188e81720ae7701736a703

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

(limited to 'Dockerfile')

diff --git a/Dockerfile b/Dockerfile
index b6aab804..a61f8353 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -58,6 +58,7 @@ ADD configure \
     Makefile \
     Makefile.* \
     README.md \
+    MetaSMT.mk \
     TODO.txt \
     ${KLEE_SRC}/
 ADD .travis ${KLEE_SRC}/.travis/
-- 
cgit 1.4.1