diff options
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.cs')
-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;
}
|