From 98f31acdf773a1238225f3e61a9f58dd4bf49789 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Thu, 26 Dec 2024 12:29:56 +0100
Subject: [PATCH] Handle `WarningsDuringVerification` in http server

---
 .../server/frontends/http/jsonWriters/ViperIDEProtocol.scala     | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/scala/viper/server/frontends/http/jsonWriters/ViperIDEProtocol.scala b/src/main/scala/viper/server/frontends/http/jsonWriters/ViperIDEProtocol.scala
index fe15021..f89da79 100644
--- a/src/main/scala/viper/server/frontends/http/jsonWriters/ViperIDEProtocol.scala
+++ b/src/main/scala/viper/server/frontends/http/jsonWriters/ViperIDEProtocol.scala
@@ -493,6 +493,7 @@ object ViperIDEProtocol extends akka.http.scaladsl.marshallers.sprayjson.SprayJs
         case q: QuantifierInstantiationsMessage => q.toJson
         case q: QuantifierChosenTriggersMessage => q.toJson
         case v: VerificationTerminationMessage => v.toJson
+        case w: WarningsDuringVerification => w.toJson
       }))
   })