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/VCGeneration/StratifiedVC.cs | |
| parent | d5a32ffd75e5723a5f2a6f9d6a5b50b3e692a0ff (diff) | |
Fixed several build errors in the 'Checked' configuration.
Diffstat (limited to 'Source/VCGeneration/StratifiedVC.cs')
| -rw-r--r-- | Source/VCGeneration/StratifiedVC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs index 7f5b3779..ceea2477 100644 --- a/Source/VCGeneration/StratifiedVC.cs +++ b/Source/VCGeneration/StratifiedVC.cs @@ -2117,7 +2117,7 @@ namespace VC { }
public Dictionary<int, Absy> getLabel2absy() {
- Contract.Ensures(Contract.Result<Hashtable>() != null);
+ Contract.Ensures(Contract.Result<Dictionary<int, Absy>>() != null);
Contract.Assert(currProc != null);
if (currProc == "") {
|