diff options
Diffstat (limited to 'Source/Houdini')
| -rw-r--r-- | Source/Houdini/CandidateDependenceAnalyser.cs | 3 |
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;
}
|