diff --git a/WebSocketLanguageServer/Dockerfile b/WebSocketLanguageServer/Dockerfile
index 6cf915e..8d180d3 100644
--- a/WebSocketLanguageServer/Dockerfile
+++ b/WebSocketLanguageServer/Dockerfile
@@ -3,7 +3,7 @@ FROM node:18
 WORKDIR /usr/src/app
 
 RUN apt-get update
-# RUN apt-get install z3
+RUN apt-get install z3
 
 COPY package*.json ./