From 75639302f6139408e03d9557a9a04a26bb2fd63b Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Sun, 18 Oct 2020 18:38:12 +0200
Subject: [PATCH] added messages as error type
---
src/main/kotlin/b/language/server/proBMangement/prob/Util.kt | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
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 2edd671..335d7e1 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
}
--
GitLab