diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-10 17:15:09 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-10 17:15:09 -0800 |
| commit | fbc6ec2f52ad4a6e6990bac6ca213be1d1e1a12d (patch) | |
| tree | 686d0abb44cc1c784e6d2001132f7ddef7d07e47 /Util | |
| parent | 60b7b684292235795227c5aa3bd6597775872256 (diff) | |
Dafny VSX: fixed compilation inconsistency
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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++;
|