From 051a64c4b138d9f45e86ab4ef6e3684ed6d72356 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Monat?= <raphael.monat@lip6.fr>
Date: Tue, 30 Aug 2022 15:17:47 +0200
Subject: [PATCH] Dockerfile: opam update

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index acbf0658..f55157a2 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -17,6 +17,7 @@ ENV OPAMVAR_catalaz3mode=1
 
 # Get a switch with all the dependencies installed
 RUN opam --cli=2.1 switch create catala ocaml-system && \
+    opam --cli=2.1 update && \
     opam --cli=2.1 pin . --no-action && \
     opam --cli=2.1 install . --with-test --with-doc --depext-only && \
     opam --cli=2.1 install . --with-test --with-doc --deps-only && \