From 01e6a73247cbe3896642a656206d787003d0db75 Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Wed, 24 Sep 2014 15:31:41 +0530
Subject: minor fix

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

(limited to 'Source/VCGeneration')

diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index 184a2225..e8194891 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -373,7 +373,7 @@ namespace VC {
         privateExprVars.AddRange(blockToControlVar.Values);
 
         interfaceExprVars = new List<VCExprVar>();
-        foreach (Variable v in program.GlobalVariables())
+        foreach (Variable v in program.GlobalVariables)
         {
             interfaceExprVars.Add(translator.LookupVariable(v));
         }
-- 
cgit v1.2.3