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