# HG changeset patch
# User atton
# Date 1478155167 0
# Node ID 3a4b3f0e595b685b9365ee6bb43bddaa7d440918
# Parent  62a6f4ddf4862cefb01477cc4c540a7583dc8f29
Add simplebool

diff -r 62a6f4ddf486 -r 3a4b3f0e595b Dockerfile
--- a/Dockerfile	Tue Nov 01 08:36:26 2016 +0000
+++ b/Dockerfile	Thu Nov 03 06:39:27 2016 +0000
@@ -9,6 +9,7 @@
 WORKDIR /root/tapl-original
 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/arith.tar.gz
 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/untyped.tar.gz
+RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool.tar.gz
 RUN find . -name "*.tar.gz" | xargs -L1 tar xzf
 RUN rm -rf *.tar.gz