Handle WarningsDuringVerification in http server

viperproject · Dec 26, 2024 · 98f31ac · 98f31ac
1 parent 4e4e30c
commit 98f31ac
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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
       }))
   })