From 6df8bbdb3fc417de28a0b386590b2a1860d6472a Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 18 Jun 2013 11:21:49 -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')

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