Did some refactoring of the error reporting functionality.

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index dfcbe3bc..22153b3b 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, string category = null)

+      public override void ReportBplError(IToken tok, string message, bool error, string category = null)

       {

-        base.ReportBplError(tok, message, error, showBplLocation, category);

+        base.ReportBplError(tok, message, error, category);

 

         if (tok is Dafny.NestedToken)

         {

           var nt = (Dafny.NestedToken)tok;

-          ReportBplError(nt.Inner, "Related location", false, showBplLocation);

+          ReportBplError(nt.Inner, "Related location", false);

         }

       }

     }