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);