diff options
Diffstat (limited to 'Source/DafnyExtension/ResolverTagger.cs')
| -rw-r--r-- | Source/DafnyExtension/ResolverTagger.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyExtension/ResolverTagger.cs b/Source/DafnyExtension/ResolverTagger.cs index 6eaec5a6..0ce68809 100644 --- a/Source/DafnyExtension/ResolverTagger.cs +++ b/Source/DafnyExtension/ResolverTagger.cs @@ -74,10 +74,10 @@ namespace DafnyLanguage switch (err.Category) {
case ErrorCategory.ProcessError:
case ErrorCategory.ParseError:
- case ErrorCategory.ParseWarning:
return "syntax error"; // COLOR: red
case ErrorCategory.ResolveError:
return "compiler error"; // COLOR: blue
+ case ErrorCategory.ParseWarning:
case ErrorCategory.ResolveWarning:
return "compiler warning"; // COLOR: blue
case ErrorCategory.InternalError:
@@ -403,7 +403,7 @@ namespace DafnyLanguage chng(this, new SnapshotSpanEventArgs(new SnapshotSpan(snapshot, 0, snapshot.Length)));
}
- static TaskErrorCategory CategoryConversion(ErrorCategory cat)
+ static TaskErrorCategory CategoryConversion(ErrorCategory cat) //CLEMENT: We've lost that info
{
switch (cat)
{
|