diff --git a/src/main/kotlin/b/language/server/BDocumentService.kt b/src/main/kotlin/b/language/server/BDocumentService.kt index 6ca34585bfe3347d61a2d2247e2a02300921eb61..81cf4c357c35c9821642c9a4a625985e5f3ec7b8 100644 --- a/src/main/kotlin/b/language/server/BDocumentService.kt +++ b/src/main/kotlin/b/language/server/BDocumentService.kt @@ -70,7 +70,7 @@ class BDocumentService(private val server: ServerInterface, issueTracker[file.absolutePath] = filesWithProblems.toSet() }catch (e : CouldNotFindProBHomeException){ - + communicator.sendDebugMessage(e.localizedMessage, MessageType.Info) communicator.showMessage(e.localizedMessage, MessageType.Error) }