diff options
| author |  MichalMoskal <unknown> | 2011-02-23 00:48:39 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-23 00:48:39 +0000 |
| commit | 972447d790adeb0e30342410df306784867de2b3 (patch) | |
| tree | ea1e1b0d1c8401e27fbeb226d21573e68499b125 /Source/VCGeneration | |
| parent | cc31c5d516332f1a70f88f4113d69e8987883589 (diff) | |
Implement Push/Pop interface.
Implement ProverContext.Lookup method.
Diffstat (limited to 'Source/VCGeneration')
| -rw-r--r-- | Source/VCGeneration/Context.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/Context.cs b/Source/VCGeneration/Context.cs index 6e7ba92a..7cb9a404 100644 --- a/Source/VCGeneration/Context.cs +++ b/Source/VCGeneration/Context.cs @@ -114,7 +114,7 @@ public abstract class ProverContextContracts:ProverContext{ exprTranslator = null;
}
- private DeclFreeProverContext(DeclFreeProverContext ctxt) {
+ protected DeclFreeProverContext(DeclFreeProverContext ctxt) {
Contract.Requires(ctxt != null);
this.gen = ctxt.gen;
this.genOptions = ctxt.genOptions;
|