diff options
| author |  stobies <unknown> | 2010-08-05 13:33:26 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2010-08-05 13:33:26 +0000 |
| commit | 40ef74be4af79c81b7fbaedb96eedc33891cd110 (patch) | |
| tree | 3fde770e1b77a14b44f801c305884b3fbf996f6c /Source/VCGeneration/VC.cs | |
| parent | b479065bc7f647fb7d072d857f448c93c99a2623 (diff) | |
Commiting Michal's fix for VC
Diffstat (limited to 'Source/VCGeneration/VC.cs')
| -rw-r--r-- | Source/VCGeneration/VC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index abb26eba..cf386e77 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -991,7 +991,7 @@ namespace VC { }
foreach (Block c in Exits(b)) {
Contract.Assert(c != null);
- s.virtual_successors.Add(b);
+ s.virtual_successors.Add(c);
}
if (s.virtual_successors.Count == 1) {
Block next = s.virtual_successors[0];
|