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 e13b7a44393f3aeed0fc9a9fb7d6665aa4d783ad..ce1fd083587b2dae9e2c1be298033ea6f0972907 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"))
 
     }