Worked on the verification result caching.

1 files changed, 2 insertions, 1 deletions

diff --git a/Source/Core/DeadVarElim.cs b/Source/Core/DeadVarElim.cs
index 2993feb7..1c051ca5 100644
--- a/Source/Core/DeadVarElim.cs
+++ b/Source/Core/DeadVarElim.cs
@@ -1,5 +1,6 @@
 using System;

 using System.Collections.Generic;

+using System.Linq;

 using Microsoft.Boogie.GraphUtil;

 using System.Diagnostics.Contracts;

 

@@ -423,7 +424,7 @@ namespace Microsoft.Boogie {
         HashSet<Variable/*!*/>/*!*/ liveVarsAfter = new HashSet<Variable/*!*/>();

 

         // The injected assumption variables should always be considered to be live.

-        foreach (var v in impl.InjectedAssumptionVariables)

+        foreach (var v in impl.InjectedAssumptionVariables.Concat(impl.DoomedInjectedAssumptionVariables))

         {

           liveVarsAfter.Add(v);

         }