From f41945b8fa8148f03c198fc898995d86e4b6ebfb Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 19 Jun 2013 16:51:41 -0700
Subject: Did some refactoring of the error reporting functionality.

---
 Source/DafnyDriver/DafnyDriver.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/DafnyDriver/DafnyDriver.cs')

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);
         }
       }
     }
-- 
cgit v1.2.3