diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-11-28 15:19:49 -0800 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-11-28 15:19:49 -0800 |
| commit | 9c0cb600c63b6f57c266e09509410c97fff3dde1 (patch) | |
| tree | 934b0e63c8e67ea48c04e8a21c4dee2194c3a179 /Source/VCGeneration/VC.cs | |
| parent | 01ae66a4eda8fe37787d3945e791eb9ac8e98998 (diff) | |
Remove invariant that was just wrong
Diffstat (limited to 'Source/VCGeneration/VC.cs')
| -rw-r--r-- | Source/VCGeneration/VC.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index 6ab86854..486f940f 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -770,7 +770,6 @@ namespace VC { void ObjectInvariant() {
Contract.Invariant(cce.NonNullElements(virtual_successors));
Contract.Invariant(cce.NonNullElements(virtual_predecesors));
- Contract.Invariant(cce.NonNull(reachable_blocks));
Contract.Invariant(block != null);
}
|