bug fix

LightKone · Jun 26, 2019 · 114a1dd · 114a1dd
1 parent b792d1b
commit 114a1dd
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/CEC.jar b/CEC.jar
diff --git a/Dockerfile b/Dockerfile
@@ -44,7 +44,7 @@ RUN git clone https://github.com/boogie-org/boogie.git \
 ##  1 parse errors detected in test.bpl
 
 #Installing java
-RUN apt-get -y update && apt-get -y upgrade && apt-get clean
+RUN apt-get -y update && apt-get clean
 RUN apt-get -y install default-jdk && apt-get clean
 
 RUN mkdir -p /usr/src/app