fixed codexpr bug reported by Michael Emmi; removed special handling of codexpr in InjectPostConditions

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     

     }