Large refactoring of Hashtable to Dictionary.

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/Core/Duplicator.cs b/Source/Core/Duplicator.cs
index fe189f83..d8b45d09 100644
--- a/Source/Core/Duplicator.cs
+++ b/Source/Core/Duplicator.cs
@@ -353,20 +353,20 @@ namespace Microsoft.Boogie {
   public delegate Expr/*?*/ Substitution(Variable/*!*/ v);

 

   public static class Substituter {

-    public static Substitution SubstitutionFromHashtable(Hashtable/*Variable!->Expr!*/ map) {

+    public static Substitution SubstitutionFromHashtable(Dictionary<Variable, Expr> map) {

       Contract.Requires(map != null);

       Contract.Ensures(Contract.Result<Substitution>() != null);

       // TODO: With Whidbey, could use anonymous functions.

       return new Substitution(new CreateSubstitutionClosure(map).Method);

     }

     private sealed class CreateSubstitutionClosure {

-      Hashtable/*Variable!->Expr!*//*!*/ map;

+      Dictionary<Variable /*!*/, Expr /*!*/>/*!*/ map;

       [ContractInvariantMethod]

       void ObjectInvariant() {

         Contract.Invariant(map != null);

       }

 

-      public CreateSubstitutionClosure(Hashtable/*Variable!->Expr!*/ map)

+      public CreateSubstitutionClosure(Dictionary<Variable, Expr> map)

         : base() {

         Contract.Requires(map != null);

         this.map = map;