From 3b71ffe67fe624f409dc25d650ca31d74e8c5564 Mon Sep 17 00:00:00 2001
From: Claude Marche <Claude.Marche@inria.fr>
Date: Thu, 10 Jul 2025 09:51:41 +0200
Subject: [PATCH] z3 requires libstdc++

---
 misc/Dockerfile.bench | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/Dockerfile.bench b/misc/Dockerfile.bench
index 67a986a44..ac7ab7444 100644
--- a/misc/Dockerfile.bench
+++ b/misc/Dockerfile.bench
@@ -7,7 +7,7 @@ USER root
 ARG DEBIAN_FRONTEND=noninteractive
 RUN apt-get update -yq && \
     apt-get upgrade -yq --with-new-pkgs --auto-remove && \
-    apt-get install -yq --no-install-recommends autoconf build-essential ca-certificates git libgmp-dev opam pkg-config unzip wget zlib1g-dev libgcc-s1 && \
+    apt-get install -yq --no-install-recommends autoconf build-essential ca-certificates git libgmp-dev opam pkg-config unzip wget zlib1g-dev libgcc-s1 libstdc++6 && \
     apt-get clean
 
 # install provers