diff options
author | Ally Donaldson <unknown> | 2013-07-22 08:32:54 +0100 |
---|---|---|
committer | Ally Donaldson <unknown> | 2013-07-22 08:32:54 +0100 |
commit | 3b15454ac18f93e8f42913af80f665a900fd4378 (patch) | |
tree | 9716c10231d312c3e858d81bb3022c77432cb4ee /Source/VCGeneration/FixedpointVC.cs | |
parent | d65d530d398e1d1f742edc4b5fe16436df5a64e8 (diff) |
Large refactoring of Hashtable to Dictionary.
Diffstat (limited to 'Source/VCGeneration/FixedpointVC.cs')
-rw-r--r-- | Source/VCGeneration/FixedpointVC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/FixedpointVC.cs b/Source/VCGeneration/FixedpointVC.cs index 7b20622a..78ed8cb5 100644 --- a/Source/VCGeneration/FixedpointVC.cs +++ b/Source/VCGeneration/FixedpointVC.cs @@ -1871,7 +1871,7 @@ namespace Microsoft.Boogie Contract.Assume(0 <= capturePoint && capturePoint < info.CapturePoints.Count);
VC.ModelViewInfo.Mapping map = info.CapturePoints[capturePoint];
var prevInc = (lastCapturePoint != CALL && lastCapturePoint != RETURN && candidate == lastCandidate)
- ? info.CapturePoints[lastCapturePoint].IncarnationMap : new Hashtable();
+ ? info.CapturePoints[lastCapturePoint].IncarnationMap : new Dictionary<Variable, Expr>();
var cs = m.MkState(map.Description);
foreach (Variable v in info.AllVariables)
|