1 files changed, 1 insertions, 1 deletions
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));
         }