diff options
| author |  wuestholz <unknown> | 2013-08-05 10:23:41 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-08-05 10:23:41 -0700 |
| commit | f89732676bc18182314f91a77821e2194a2616dc (patch) | |
| tree | 3066125d01b810ee26382098629995fac7e13616 /Source/Core/Absy.cs | |
| parent | d5a32ffd75e5723a5f2a6f9d6a5b50b3e692a0ff (diff) | |
Fixed several build errors in the 'Checked' configuration.
Diffstat (limited to 'Source/Core/Absy.cs')
| -rw-r--r-- | Source/Core/Absy.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs index 2817acdc..7b3f6fc5 100644 --- a/Source/Core/Absy.cs +++ b/Source/Core/Absy.cs @@ -2924,7 +2924,7 @@ namespace Microsoft.Boogie { this.formalMap = null;
}
public Dictionary<Variable, Expr>/*!*/ GetImplFormalMap() {
- Contract.Ensures(Contract.Result<Hashtable>() != null);
+ Contract.Ensures(Contract.Result<Dictionary<Variable, Expr>>() != null);
if (this.formalMap != null)
return this.formalMap;
|