Add missing matches

viperproject · Feb 12, 2024 · c2938a4 · c2938a4
1 parent 95b29ab
commit c2938a4
Showing 1 changed file with 2 additions 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,8 @@ 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 p: PProgramReport => p.semanticAnalysisSuccess.toJson
+        case w: WarningsDuringVerification => w.toJson
       }))
   })