diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 07:45:14 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 07:45:14 +0100 |
| commit | 717acb3230145241f08f7d6f7cb2a68fe1f257e8 (patch) | |
| tree | 6640d8580d4c1329e743635d212d6e3a1bdcee9b /Source/Houdini/AbstractHoudini.cs | |
| parent | 51f2fa80a101ffae855c848ed83b889f1becbdd3 (diff) | |
Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plain Hashtable.
Diffstat (limited to 'Source/Houdini/AbstractHoudini.cs')
| -rw-r--r-- | Source/Houdini/AbstractHoudini.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs index 24a3c708..157571f3 100644 --- a/Source/Houdini/AbstractHoudini.cs +++ b/Source/Houdini/AbstractHoudini.cs @@ -565,7 +565,7 @@ namespace Microsoft.Boogie.Houdini { private void GenVC(Implementation impl)
{
ModelViewInfo mvInfo;
- System.Collections.Hashtable label2absy;
+ Dictionary<int, Absy> label2absy;
var collector = new AbsHoudiniCounterexampleCollector(this);
collector.OnProgress("HdnVCGen", 0, 0, 0.0);
@@ -2792,7 +2792,7 @@ namespace Microsoft.Boogie.Houdini { private void GenVC(Implementation impl)
{
ModelViewInfo mvInfo;
- System.Collections.Hashtable label2absy;
+ Dictionary<int, Absy> label2absy;
if (CommandLineOptions.Clo.Trace)
{
|