1 files changed, 2 insertions, 2 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs
index ff106380..87ab590d 100644
--- a/Source/VCGeneration/VC.cs
+++ b/Source/VCGeneration/VC.cs
@@ -164,8 +164,8 @@ namespace VC {
       Contract.Invariant(implName2LazyInliningInfo == null || cce.NonNullDictionaryAndValues(implName2LazyInliningInfo));
     }
 
-    private Dictionary<string, LazyInliningInfo> implName2LazyInliningInfo;
-    private GlobalVariable errorVariable;
+    protected Dictionary<string, LazyInliningInfo> implName2LazyInliningInfo;
+    protected GlobalVariable errorVariable;
 
     public void GenerateVCsForLazyInlining(Program program) {
       Contract.Requires(program != null);