From d78cce31593c39ad1b7244bb809af983ec1f9872 Mon Sep 17 00:00:00 2001
From: sebastian <sebastian.stock@jku.at>
Date: Wed, 9 Nov 2022 16:43:54 +0100
Subject: [PATCH] fixed failing test

---
 .../language/server/prob2/proBMangement/BDocumentServiceTest.kt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
index e13b7a4..ce1fd08 100644
--- a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
+++ b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
@@ -145,7 +145,7 @@ class BDocumentServiceTest {
 
 
         assertEquals(2, communicator.pushedDiagnostics.entries.size)
-        assertEquals(2, communicator.pushedDiagnostics.entries.first().value.size)
+        assertEquals(3, communicator.pushedDiagnostics.entries.first().value.size)
         assertTrue(targetSet.first().contains("b-language-server/src/test/resources/WD_M1.mch"))
 
     }
-- 
GitLab