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/DafnyExtension | |
| parent | fe6ba192bd4430f27e4379c584fbc082bf49be18 (diff) | |
Update the VS extension to use the error interface defined in 576eac2e17ff
Diffstat (limited to 'Source/DafnyExtension')
| -rw-r--r-- | Source/DafnyExtension/DafnyDriver.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs index 61328fbf..640ef67c 100644 --- a/Source/DafnyExtension/DafnyDriver.cs +++ b/Source/DafnyExtension/DafnyDriver.cs @@ -151,8 +151,8 @@ namespace DafnyLanguage dd.RecordError(filename, line - 1, col - 1, ErrorCategory.ResolveError, msg);
count++;
}
- public override void Warning(string filename, int line, int col, string msg) {
- dd.RecordError(filename, line - 1, col - 1, ErrorCategory.ParseWarning, msg);
+ public override void Warning(IToken tok, string msg) {
+ dd.RecordError(tok.filename, tok.line - 1, tok.col - 1, ErrorCategory.ParseWarning, msg);
}
}
|