diff options
Diffstat (limited to 'Source/Doomed/VCDoomed.cs')
| -rw-r--r-- | Source/Doomed/VCDoomed.cs | 2 |
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;
|