diff options
| author |  qadeer <unknown> | 2014-08-08 10:35:15 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-08-08 10:35:15 -0700 |
| commit | bbfe57fbf0c7ff2c2b01f6020a7fda199efe15d8 (patch) | |
| tree | a76517313dcd31059cfe2cab6bdb157cbb6c9773 /Source/VCGeneration/VC.cs | |
| parent | a645d5392e5d23c01fa17d543fc70f428794159c (diff) | |
fixed codexpr bug reported by Michael Emmi; removed special handling of codexpr in InjectPostConditions
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 5a618b1d..3735388c 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -2624,7 +2624,7 @@ namespace VC { InjectPreconditions(impl, cc);
// append postconditions, starting in exitBlock and continuing into other blocks, if needed
- exitBlock = InjectPostConditions(impl, exitBlock, gotoCmdOrigins);
+ InjectPostConditions(impl, exitBlock, gotoCmdOrigins);
}
#endregion
|