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;
       }