diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-16 17:19:08 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-16 17:19:08 -0700 |
commit | c450e2718c6c047af95e948f87cad53ade07a1c5 (patch) | |
tree | b23b88c5821df2726e1b0f55914bbc6c7d2b5535 | |
parent | a22d071b3eac50ce1fd6c759c58873ae6c584ced (diff) |
Fix column numbers in warning and info messages
This brings them in line with error column numbers.
-rw-r--r-- | Source/Dafny/Resolver.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs index c5b19d8c..9d560561 100644 --- a/Source/Dafny/Resolver.cs +++ b/Source/Dafny/Resolver.cs @@ -25,7 +25,7 @@ namespace Microsoft.Dafny ConsoleColor col = Console.ForegroundColor;
Console.ForegroundColor = ConsoleColor.Red;
Console.WriteLine("{0}({1},{2}): Error: {3}",
- DafnyOptions.Clo.UseBaseNameForFileName ? System.IO.Path.GetFileName(tok.filename) : tok.filename, tok.line, tok.col,
+ DafnyOptions.Clo.UseBaseNameForFileName ? System.IO.Path.GetFileName(tok.filename) : tok.filename, tok.line, tok.col - 1,
string.Format(msg, args));
Console.ForegroundColor = col;
ErrorCount++;
@@ -271,7 +271,7 @@ namespace Microsoft.Dafny public static void DefaultInformationReporter(AdditionalInformation info) {
Console.WriteLine("{0}({1},{2}): Info: {3}",
DafnyOptions.Clo.UseBaseNameForFileName ? System.IO.Path.GetFileName(info.Token.filename) : info.Token.filename,
- info.Token.line, info.Token.col, info.Text);
+ info.Token.line, info.Token.col - 1, info.Text);
}
public void ResolveProgram(Program prog) {
|