diff options
Diffstat (limited to 'Source/Doomed/VCDoomed.cs')
-rw-r--r-- | Source/Doomed/VCDoomed.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Doomed/VCDoomed.cs b/Source/Doomed/VCDoomed.cs index 9f1d8290..6dd3b5ca 100644 --- a/Source/Doomed/VCDoomed.cs +++ b/Source/Doomed/VCDoomed.cs @@ -616,7 +616,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
}
|