diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-05-22 10:17:31 -0700 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-05-22 10:17:31 -0700 |
| commit | 21f72bdf46f12d214ac1f58bcc1041de2827ff40 (patch) | |
| tree | 7ecdf53430eb6611ba76e59d141b64f2eaf57072 /Source | |
| parent | 22daeecb1d03fbf5097d8cd3f2b4f3d3751bfad9 (diff) | |
fixed bug in reporting the number of typechecking errors
updated answer file
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs index 04bd95a5..26763f95 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -419,7 +419,7 @@ namespace Microsoft.Boogie { }
else
{
- Console.WriteLine("{0} type checking errors detected in {1}", errorCount, bplFileName);
+ Console.WriteLine("{0} type checking errors detected in {1}", linearTypechecker.errorCount, bplFileName);
return PipelineOutcome.TypeCheckingError;
}
|