From 81ae8ec8e9043b460d0b04bdecaa82533531f9a4 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@inria.fr>
Date: Thu, 14 Mar 2024 11:43:49 +0000
Subject: [PATCH] Dockerfile: use alt-ergo 2.5.2

---
 scripts/docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/docker/Dockerfile b/scripts/docker/Dockerfile
index fe878a1d..bfe636f5 100644
--- a/scripts/docker/Dockerfile
+++ b/scripts/docker/Dockerfile
@@ -28,7 +28,7 @@ RUN curl -L https://nixos.org/nix/install > nix-install && \
     rm nix-install
 
 ENV OPAMYES=true OPAMJOBS=8
-ENV ALTERGO=2.4.2 Z3=4.8.14
+ENV ALTERGO=2.5.2 Z3=4.8.14
 
 RUN opam init --disable-sandboxing && \
     opam install depext