diff options
Diffstat (limited to 'Source/VCGeneration/Context.cs')
| -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;
|