diff options
author | wuestholz <unknown> | 2013-06-18 11:21:49 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-06-18 11:21:49 -0700 |
commit | 6df8bbdb3fc417de28a0b386590b2a1860d6472a (patch) | |
tree | c101ce809fb627c9b15211fee0021632aabb9679 /Source/DafnyDriver | |
parent | ba7675ce6fb3a29a411090370d7277e93c93d18b (diff) |
Did some refactoring of the error reporting functionality.
Diffstat (limited to 'Source/DafnyDriver')
-rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index b1f9d642..dfcbe3bc 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -202,14 +202,14 @@ namespace Microsoft.Dafny class DafnyConsolePrinter : ConsolePrinter
{
- public override void ReportBplError(IToken tok, string message, bool error, bool showBplLocation)
+ public override void ReportBplError(IToken tok, string message, bool error, bool showBplLocation, string category = null)
{
- base.ReportBplError(tok, message, error, showBplLocation);
+ base.ReportBplError(tok, message, error, showBplLocation, category);
if (tok is Dafny.NestedToken)
{
var nt = (Dafny.NestedToken)tok;
- ReportBplError(nt.Inner, "Related location: Related location", false, showBplLocation);
+ ReportBplError(nt.Inner, "Related location", false, showBplLocation);
}
}
}
|