diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 07:53:38 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 07:53:38 +0100 |
| commit | 841c9e70b304da5863b12323f2e12cc403ac2349 (patch) | |
| tree | 7bf82c0dac5340029ee9eaff15cc4f00c6abfd10 /Source/VCGeneration/FixedpointVC.cs | |
| parent | 717acb3230145241f08f7d6f7cb2a68fe1f257e8 (diff) | |
Refactored variable2sequenceNumber to use 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 cf33c53e..7b20622a 100644 --- a/Source/VCGeneration/FixedpointVC.cs +++ b/Source/VCGeneration/FixedpointVC.cs @@ -126,7 +126,7 @@ namespace Microsoft.Boogie Contract.Requires(impl != null);
CurrentLocalVariables = impl.LocVars;
- variable2SequenceNumber = new Hashtable/*Variable -> int*/();
+ variable2SequenceNumber = new Dictionary<Variable, int>();
incarnationOriginMap = new Dictionary<Incarnation, Absy>();
ResetPredecessors(impl.Blocks);
|