about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--Dockerfile1
1 files changed, 1 insertions, 0 deletions
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/