From 96861beb1b7d47bc0b940ff83d5a721d5e67d924 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 2 Jan 2015 22:54:49 +0100
Subject: Minor changes

---
 Source/ExecutionEngine/ExecutionEngine.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Source/ExecutionEngine/ExecutionEngine.cs')

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 8187db01..89f9a2c3 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -1247,9 +1247,10 @@ namespace Microsoft.Boogie
       {
         lock (outputs)
         {
-          for (; nextPrintableIndex < outputs.Count() && outputs[nextPrintableIndex] != null; nextPrintableIndex++)
+          for (; nextPrintableIndex < outputs.Length && outputs[nextPrintableIndex] != null; nextPrintableIndex++)
           {
             Console.Write(outputs[nextPrintableIndex].ToString());
+            outputs[nextPrintableIndex] = null;
             Console.Out.Flush();
           }
         }
-- 
cgit v1.2.3