diff options
author | wuestholz <unknown> | 2013-07-26 14:35:05 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-07-26 14:35:05 -0700 |
commit | 728c229e257646155a11615906afb9cd6daa2f99 (patch) | |
tree | 127554c7dad28847a90ac4499f71c8caff09e9f0 /Source/DafnyExtension/ResolverTagger.cs | |
parent | 9cc1b3fffb95ee2e4f0db1d165bdc5c6569f4a32 (diff) |
DafnyExtension: Did some refactoring and worked towards integrating the Dafny menu more tightly.
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 ece6da50..380df534 100644 --- a/Source/DafnyExtension/ResolverTagger.cs +++ b/Source/DafnyExtension/ResolverTagger.cs @@ -64,12 +64,12 @@ namespace DafnyLanguage public DafnyError Error { get; private set; }
public DafnyErrorResolverTag(DafnyError error)
- : base(ErrorType(error), error.Message)
+ : base(ConvertToErrorType(error), error.Message)
{
Error = error;
}
- private static string ErrorType(DafnyError err)
+ private static string ConvertToErrorType(DafnyError err)
{
string ty; // the COLORs below indicate what I see on my machine
switch (err.Category)
|