From 845449d015babab464f0b6ab70a2d495b0d6a27f Mon Sep 17 00:00:00 2001
From: Stefan <svill33@gmail.com>
Date: Fri, 17 Nov 2023 15:54:34 +0100
Subject: [PATCH] fix: added z3

---
 WebSocketLanguageServer/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ./