diff --git a/src/main/kotlin/b/language/server/BDocumentService.kt b/src/main/kotlin/b/language/server/BDocumentService.kt
index 57a0b86a22b07095f7efaaeab76d0b94c28eeeea..94c82a60f7e57702bfd74bc7913ce12eee98bbfb 100644
--- a/src/main/kotlin/b/language/server/BDocumentService.kt
+++ b/src/main/kotlin/b/language/server/BDocumentService.kt
@@ -59,6 +59,7 @@ class BDocumentService(private val server: Server, private val communicator: Com
                 val diagnostics: List<Diagnostic> = prob.checkDocument(currentUri, settings)
                 communicator.sendDebugMessage("created diagnostics $diagnostics", MessageType.Info)
                 communicator.publishDiagnostics(PublishDiagnosticsParams(currentUri, diagnostics))
+                communicator.showMessage("Evaluation done - ${diagnostics.size} problem(s)", MessageType.Log)
                 val filesWithProblems = diagnostics.map { diagnostic -> diagnostic.source }
                 val invalidFiles = calculateToInvalidate(currentUri, filesWithProblems)
                 invalidFiles.forEach{uri -> communicator.publishDiagnostics(PublishDiagnosticsParams(uri, listOf()))}