diff --git a/src/main/kotlin/b/language/server/communication/Communicator.kt b/src/main/kotlin/b/language/server/communication/Communicator.kt
index 1465443764aa88bb7d87673ec8bb6153470adfbb..a62bf74c9af412788a3c2756c2baa31ab5612010 100644
--- a/src/main/kotlin/b/language/server/communication/Communicator.kt
+++ b/src/main/kotlin/b/language/server/communication/Communicator.kt
@@ -36,7 +36,6 @@ object Communicator : CommunicatorInterface {
      */
     override fun sendDebugMessage(message: String, severity: MessageType) {
         if(debugMode) {
-            println("Debug messages: $message")
             client.logMessage(MessageParams(severity, message))
         }
 
diff --git a/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt b/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt
index 9bc58679504256ef6812f341183eeb4803b6bcca..9992b9d0efbf8e10069990c9bf3a6c085f812f17 100644
--- a/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt
+++ b/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt
@@ -95,14 +95,7 @@ class ProBKernel @Inject constructor(private val injector : Injector,
 
         communicator.sendDebugMessage("processing errors", MessageType.Info)
         newStateSpace.kill()
-        var bla : List<Diagnostic> = emptyList()
-        try {
-            bla = convertErrorItems(errors, file, communicator)
-        }catch (e : Exception){
-            println(e)
-        }
-
-        return bla
+        return convertErrorItems(errors, file, communicator)
     }