diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-29 16:55:49 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-29 16:55:49 -0700 |
commit | 13bb45d5350cb6b0ce6b731d6552780b0d147265 (patch) | |
tree | aa304c1c9157b3a74d4cdce5297e09cc28dbdb05 /Source/Dafny/Parser.cs | |
parent | fe6ba192bd4430f27e4379c584fbc082bf49be18 (diff) |
Update the VS extension to use the error interface defined in 576eac2e17ff
Diffstat (limited to 'Source/Dafny/Parser.cs')
-rw-r--r-- | Source/Dafny/Parser.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs index 86a185a4..fd6fb026 100644 --- a/Source/Dafny/Parser.cs +++ b/Source/Dafny/Parser.cs @@ -4702,7 +4702,7 @@ public class Errors { count++;
}
- public void Warning(IToken tok, string msg) { // warnings
+ public virtual void Warning(IToken tok, string msg) { // warnings
Contract.Requires(tok != null);
Contract.Requires(msg != null);
Dafny.Util.ReportIssue("Warning", tok, msg);
|