From 19ce26677bba57940e3b41eba7d6dc4f0627e84c Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Thu, 24 Nov 2011 14:14:19 +0530
Subject: minor bug fix in SI

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

diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index e6e6eb39..df46ad50 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -2483,7 +2483,7 @@ namespace VC
                 calls.setCurrProc(procName);
                 expansion = calls.Mutate(expansion, true);
                 if (useSummary) calls.matchSummaries();
-                vState.coverageManager.addRecentEdges(id);
+                if(vState.coverageManager != null) vState.coverageManager.addRecentEdges(id);
                 
                 //expansion = checker.VCExprGen.Eq(calls.id2ControlVar[id], expansion);
                 expansion = checker.VCExprGen.Implies(calls.id2ControlVar[id], expansion);
-- 
cgit v1.2.3