diff --git a/WebSocketLanguageServer/Dockerfile b/WebSocketLanguageServer/Dockerfile index 7f0c10f..6f91ef4 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 ./