1 files changed, 5 insertions, 2 deletions
diff --git a/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IronyLanguageService.cs b/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IronyLanguageService.cs
index 281040ca..8519e467 100644
--- a/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IronyLanguageService.cs
+++ b/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IronyLanguageService.cs
@@ -178,7 +178,7 @@ namespace Demo
                                 continue;
                               if (line.StartsWith("Boogie program verifier")) {
                                 if (!Regex.IsMatch(line, "Boogie program verifier finished with [0-9]* verified, 0 errors"))
-                                  AddErrorBecauseOfToolProblems(req, line);
+                                  AddErrorBecauseOfToolProblems(req, line, false);
                                 continue;
                               }
 
@@ -256,11 +256,14 @@ namespace Demo
         }
 
         private static void AddErrorBecauseOfToolProblems(ParseRequest req, string msg) {
+          AddErrorBecauseOfToolProblems(req, msg, true);
+        }
+        private static void AddErrorBecauseOfToolProblems(ParseRequest req, string msg, bool error) {
           TextSpan span = new TextSpan();
           span.iStartLine = span.iEndLine = 0;
           span.iStartIndex = 0;
           span.iEndIndex = 5;
-          req.Sink.AddError(req.FileName, msg, span, Severity.Error);
+          req.Sink.AddError(req.FileName, msg, span, error ? Severity.Error : Severity.Hint);
         }
 
         /// <summary>