1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index 74ee396..eddbb0f 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -29,7 +29,7 @@ RUN ["/bin/bash", "--login", "-c", "set -x \
   && opam pin add -n -k path coq-mathcomp-field . \
   && opam pin add -n -k path coq-mathcomp-character . \
   && opam install -y -v -j ${NJOBS} coq-mathcomp-character \
-  && opam clean -a -c -s --logs"]
+  && opam clean -a -s --logs"]
 
 FROM coqorg/base:bare