diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-10-10 19:35:52 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-10-10 19:35:52 +0100 |
| commit | 2e2e8933e68a753d123a47239624db4823e2a0fc (patch) | |
| tree | cd5b4cf2cac382d12d3125a9676292ee76f123ed /Source/Houdini | |
| parent | e3e9aff76e22d05cdb3c558c8106d4a201aa0141 (diff) | |
small cleanup
Diffstat (limited to 'Source/Houdini')
| -rw-r--r-- | Source/Houdini/Houdini.cs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index 4b533e5b..c3575800 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -712,8 +712,6 @@ namespace Microsoft.Boogie.Houdini { }
protected void AddRelatedToWorkList(RefutedAnnotation refutedAnnotation) {
- if (refutedAnnotation == null) Console.WriteLine("TEEEEEST!!!");
-
Contract.Assume(currentHoudiniState.Implementation != null);
foreach (Implementation implementation in FindImplementationsToEnqueue(refutedAnnotation, refutedAnnotation.RefutationSite)) {
if (!currentHoudiniState.isBlackListed(implementation.Name)) {
|