diff options
| author |  qadeer <unknown> | 2014-09-18 08:28:30 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-09-18 08:28:30 -0700 |
| commit | 0c35477ac7e7fb5b73b3c64e301e09cd876c0703 (patch) | |
| tree | 49d7e6a87d64ca0878103411328236701c36ec41 /Source/Core/AbsyCmd.cs | |
| parent | 1f99baa7cd1bd3e8cdce7dcd854c416291d114a4 (diff) | |
fixed various CodeContracts issues.
Diffstat (limited to 'Source/Core/AbsyCmd.cs')
| -rw-r--r-- | Source/Core/AbsyCmd.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index 26a28e0e..c7edbc68 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -2532,8 +2532,8 @@ namespace Microsoft.Boogie { NameEqualityComparer comparer = new NameEqualityComparer();
- Substitution calleeSubstitution;
- Substitution calleeSubstitutionOld;
+ public Substitution calleeSubstitution;
+ public Substitution calleeSubstitutionOld;
public IEnumerable<IdentifierExpr> UnmodifiedBefore(Procedure oldProcedure)
{
|