From 7bb125aa0c820fd37cb0a9624595571580deec0c Mon Sep 17 00:00:00 2001
From: Ally Donadlson <unknown>
Date: Wed, 28 May 2014 09:36:26 +0100
Subject: Removed printing code from candidate dependence analyser

---
 Source/Houdini/CandidateDependenceAnalyser.cs | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'Source/Houdini')

diff --git a/Source/Houdini/CandidateDependenceAnalyser.cs b/Source/Houdini/CandidateDependenceAnalyser.cs
index 0da1c5d9..ea891dd6 100644
--- a/Source/Houdini/CandidateDependenceAnalyser.cs
+++ b/Source/Houdini/CandidateDependenceAnalyser.cs
@@ -518,13 +518,10 @@ namespace Microsoft.Boogie.Houdini {
                 {
                   Stage.AddCandidate(c);
                 }
-                Console.Write(n.Count() + ", ");
                 AssignedToThisStage.Add(n);
               }
             }
 
-            Console.WriteLine("total: " + Stage.Count());
-
             foreach(var n in AssignedToThisStage) {
               done[n] = Stage;
             }
-- 
cgit v1.2.3