# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1478236880 -32400
# Node ID eae814cb4b34318b5a24baf5ca1a27a84db733c1
# Parent  17b9b80fa047ff0bf75a893025d5b49693bedd14
Add fullsimple

diff -r 17b9b80fa047 -r eae814cb4b34 Dockerfile
--- a/Dockerfile	Fri Nov 04 05:11:16 2016 +0000
+++ b/Dockerfile	Fri Nov 04 14:21:20 2016 +0900
@@ -10,6 +10,7 @@
 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 wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/fullsimple.tar.gz
 RUN find . -name "*.tar.gz" | xargs -L1 tar xzf
 RUN rm -rf *.tar.gz