diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index 58d787f4..a55009a9 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -170,7 +170,6 @@ apt-get install -y \
     unzip \
     wget \
     xclip \
-    z3 \
     zip \
     zlib1g-dev \
     zsh