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 | |
parent | 01ae66a4eda8fe37787d3945e791eb9ac8e98998 (diff) |
Remove invariant that was just wrong
-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);
}
|