diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-08-04 21:55:13 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-08-04 21:55:13 -0700 |
| commit | e129afe1528a5213c56171dd12afaadb1e219d4c (patch) | |
| tree | b55bfba6282f395c2211a90f59a30e2bad87fa27 /Source/VCGeneration | |
| parent | ae2d46b87b118669030e8720b166017eeed99231 (diff) | |
further changes for making houdini work
Diffstat (limited to 'Source/VCGeneration')
| -rw-r--r-- | Source/VCGeneration/VC.cs | 4 |
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);
|