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 50358868a484d33d1339600867d07c3b023291dd..e13b7a44393f3aeed0fc9a9fb7d6665aa4d783ad 100644
--- a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
+++ b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
@@ -144,7 +144,7 @@ class BDocumentServiceTest {
         val targetSet =  communicator.pushedDiagnostics.entries.first().value.map { value -> value.source }.toSet()
 
 
-          assertEquals(1, communicator.pushedDiagnostics.entries.size)
+        assertEquals(2, communicator.pushedDiagnostics.entries.size)
         assertEquals(2, communicator.pushedDiagnostics.entries.first().value.size)
         assertTrue(targetSet.first().contains("b-language-server/src/test/resources/WD_M1.mch"))