1 files changed, 2 insertions, 0 deletions
diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index 4f459a6f..375c343c 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -508,6 +508,7 @@ namespace VC {
     public bool PersistCallTree;
     public static Dictionary<string, int> callTree = null;
     public int numInlined = 0;
+    public int vcsize = 0;
     private bool useSummary;
     private SummaryComputation summaryComputation;
     private HashSet<string> procsThatReachedRecBound;
@@ -1270,6 +1271,7 @@ namespace VC {
         Console.WriteLine(">> SI: VC Size: {0}", vState.vcSize);
       }
 
+      vcsize = vState.vcSize;
       numInlined = (calls.candidateParent.Keys.Count + 1) - (calls.currCandidates.Count);
 
       var rbound = "Procs that reached bound: ";