Removed printing code from candidate dependence analyser

1 files changed, 0 insertions, 3 deletions

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;

             }