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

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Doomed/DoomErrorHandler.cs b/Source/Doomed/DoomErrorHandler.cs
index 33d8b68e..a85adbe1 100644
--- a/Source/Doomed/DoomErrorHandler.cs
+++ b/Source/Doomed/DoomErrorHandler.cs
@@ -15,7 +15,7 @@ namespace VC
     internal class DoomErrorHandler : ProverInterface.ErrorHandler

     {

 

-        protected Hashtable label2Absy;

+        protected Dictionary<int, Absy> label2Absy;

         protected VerifierCallback callback;

         private List<Block> m_CurrentTrace = new List<Block>();

 

@@ -28,7 +28,7 @@ namespace VC
         }

 

 

-        public DoomErrorHandler(Hashtable label2Absy, VerifierCallback callback)

+        public DoomErrorHandler(Dictionary<int, Absy> label2Absy, VerifierCallback callback)

         {

             Contract.Requires(label2Absy != null);

             Contract.Requires(callback != null);