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 48f5eb642d30f1d767336c9bf0bb101c2785b657..8c5fb80920597ca441b0c6df11498a061c08b783 100644
--- a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
+++ b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
@@ -90,7 +90,7 @@ class BDocumentServiceTest {
      * Fakes the behavior of the user by returning no errors when called the second time
      * The user fixed the errors
      */
-    class DummyProBKernelManager(val communicator : CommunicatorInterface) : ProBInterface{
+    class DummyProBKernelManager(private val communicator : CommunicatorInterface) : ProBInterface{
 
         private var counter = 0
 
@@ -167,7 +167,6 @@ class BDocumentServiceTest {
         documentService.checkDocument("src/test/resources/WD_M2.mch")
 
         println(communicator.pushedDiagnostics)
-        val targetSet =  communicator.pushedDiagnostics.entries.first().value.map { value -> value.source }.toSet()
 
         assertEquals(emptyList(), communicator.pushedDiagnostics.entries.first().value)
     }