diff --git a/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt b/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
index 2edd6719ca3874cab2d365ed8f9050b54d12aede..335d7e180c2631e73e8adcbe9daf5c491fa8096a 100644
--- a/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
+++ b/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
@@ -37,9 +37,9 @@ fun getErrorItemType(errorItem: ErrorItem.Type) : DiagnosticSeverity{
         ErrorItem.Type.INTERNAL_ERROR -> {
             DiagnosticSeverity.Error
         }
-     /*   ErrorItem.Type.MESSAGE -> {
+        ErrorItem.Type.MESSAGE -> {
             DiagnosticSeverity.Information
-        }*/
+        }
         else -> {
             DiagnosticSeverity.Error
         }