Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plain Hashtable.

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/VCGeneration/FixedpointVC.cs b/Source/VCGeneration/FixedpointVC.cs
index 3299ef76..cf33c53e 100644
--- a/Source/VCGeneration/FixedpointVC.cs
+++ b/Source/VCGeneration/FixedpointVC.cs
@@ -395,7 +395,7 @@ namespace Microsoft.Boogie
             public Dictionary<Incarnation, Absy> incarnationOriginMap;

             public Hashtable /*Variable->Expr*/ exitIncarnationMap;

             public Hashtable /*GotoCmd->returnCmd*/ gotoCmdOrigins;

-            public Hashtable/*<int, Absy!>*/ label2absy;

+            public Dictionary<int, Absy> label2absy;

             public VC.ModelViewInfo mvInfo;

 

             public Dictionary<Block, VCExprVar> reachVars;

@@ -514,7 +514,7 @@ namespace Microsoft.Boogie
             //public VCExpr vcexpr;

             //public List<VCExprVar> interfaceExprVars;

             //public List<VCExprVar> privateExprVars;

-            //public Hashtable/*<int, Absy!>*/ label2absy;

+            //public Dictionary<int, Absy> label2absy;

             //public VC.ModelViewInfo mvInfo;

             //public Dictionary<Block, List<CallSite>> callSites;

             //public Dictionary<Block, List<CallSite>> recordProcCallSites;

@@ -1007,7 +1007,7 @@ namespace Microsoft.Boogie
             ConvertCFG2DAG(impl,edgesCut);

             VC.ModelViewInfo mvInfo;

             PassifyImpl(impl, out mvInfo);

-            Hashtable/*<int, Absy!>*/ label2absy = null;

+            Dictionary<int, Absy> label2absy = null;

             VCExpressionGenerator gen = checker.VCExprGen;

             Contract.Assert(gen != null);

             VCExpr vcexpr;