summaryrefslogtreecommitdiff
path: root/Source/Doomed
diff options
context:
space:
mode:
authorGravatar Ally Donaldson <unknown>2013-07-22 07:53:38 +0100
committerGravatar Ally Donaldson <unknown>2013-07-22 07:53:38 +0100
commit841c9e70b304da5863b12323f2e12cc403ac2349 (patch)
tree7bf82c0dac5340029ee9eaff15cc4f00c6abfd10 /Source/Doomed
parent717acb3230145241f08f7d6f7cb2a68fe1f257e8 (diff)
Refactored variable2sequenceNumber to use Dictionary
Diffstat (limited to 'Source/Doomed')
-rw-r--r--Source/Doomed/VCDoomed.cs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Doomed/VCDoomed.cs b/Source/Doomed/VCDoomed.cs
index 778ae767..413cbf5b 100644
--- a/Source/Doomed/VCDoomed.cs
+++ b/Source/Doomed/VCDoomed.cs
@@ -692,7 +692,7 @@ namespace VC {
private void Transform4DoomedCheck(Implementation impl)
{
- variable2SequenceNumber = new Hashtable/*Variable -> int*/();
+ variable2SequenceNumber = new Dictionary<Variable, int>();
incarnationOriginMap = new Dictionary<Incarnation, Absy>();
if (impl.Blocks.Count < 1) return;