diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-08-20 11:11:16 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-08-20 11:11:16 +0100 |
| commit | 38504e3df7e9c87e3e57811c05020027132784fa (patch) | |
| tree | dffb7c44c8d0441677a07f4cb49356b9801311bf /Source/VCGeneration/VC.cs | |
| parent | 96421f6395139651821ea530f9b8ef32e04c0a83 (diff) | |
| parent | f1f3d32ba043c0468dd04dfcfa7ac02c3fa1876c (diff) | |
Merge
Diffstat (limited to 'Source/VCGeneration/VC.cs')
| -rw-r--r-- | Source/VCGeneration/VC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index 1aed2cba..3d9698fd 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -2126,7 +2126,7 @@ namespace VC { {
Contract.Requires(impl != null);
Contract.Requires(program != null);
- Contract.Ensures(Contract.Result<Hashtable>() != null);
+ Contract.Ensures(Contract.Result<Dictionary<TransferCmd, ReturnCmd>>() != null);
Dictionary<TransferCmd, ReturnCmd> gotoCmdOrigins = new Dictionary<TransferCmd, ReturnCmd>();
Block exitBlock = GenerateUnifiedExit(impl, gotoCmdOrigins);
|