docker: fix opam init CL

EasyCrypt · Dec 15, 2023 · 2b3bbad · 2b3bbad
1 parent 12af606
commit 2b3bbad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/docker/base-box/Dockerfile b/scripts/docker/base-box/Dockerfile
@@ -27,4 +27,4 @@ WORKDIR /home/$user
 ENV OPAMYES=true OPAMVERBOSE=0 OPAMJOBS=4
 
 RUN \
-	opam init --disable-sandboxing --switch=ocaml-base-compiler.5.1.0
+	opam init --disable-sandboxing --compiler=ocaml-base-compiler.5.1.0