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);
         }
       }
     }