From bbfe57fbf0c7ff2c2b01f6020a7fda199efe15d8 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Fri, 8 Aug 2014 10:35:15 -0700
Subject: fixed codexpr bug reported by Michael Emmi; removed special handling
 of codexpr in InjectPostConditions

---
 Source/Doomed/VCDoomed.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Doomed')

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     
     }
-- 
cgit v1.2.3