From fbc6ec2f52ad4a6e6990bac6ca213be1d1e1a12d Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Tue, 10 Jan 2012 17:15:09 -0800
Subject: Dafny VSX: fixed compilation inconsistency

---
 Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Util')

diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs b/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs
index 31cc412e..f24aee55 100644
--- a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs
+++ b/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs
@@ -167,7 +167,7 @@ namespace DafnyLanguage
         : base(program) {
         this.dd = dd;
       }
-      protected override void Error(Bpl.IToken tok, string msg, params object[] args) {
+      public override void Error(Bpl.IToken tok, string msg, params object[] args) {
         string s = string.Format(msg, args);
         dd.RecordError(tok.line - 1, tok.col - 1, ErrorCategory.ResolveError, s);
         ErrorCount++;
-- 
cgit v1.2.3