diff --git a/containers/eic/Dockerfile b/containers/eic/Dockerfile index 5be9e16a..68392c8d 100644 --- a/containers/eic/Dockerfile +++ b/containers/eic/Dockerfile @@ -52,6 +52,7 @@ ENV GIT_TERMINAL_PROMPT=0 # Concretization (default environment) RUN <