1 files changed, 5 insertions, 3 deletions
diff --git a/Source/AIFramework/VariableMap/VariableMapLattice.cs b/Source/AIFramework/VariableMap/VariableMapLattice.cs
index b60d318b..172cef01 100644
--- a/Source/AIFramework/VariableMap/VariableMapLattice.cs
+++ b/Source/AIFramework/VariableMap/VariableMapLattice.cs
@@ -13,9 +13,11 @@ namespace Microsoft.AbstractInterpretationFramework {
   using Microsoft.AbstractInterpretationFramework.Collections;
 
   using Microsoft.Boogie;
-  using IMutableSet = Microsoft.Boogie.Set;
-  using HashSet = Microsoft.Boogie.Set;
-  using ISet = Microsoft.Boogie.Set;
+
+  using IMutableSet = Microsoft.Boogie.GSet<object>;
+  using ISet = Microsoft.Boogie.GSet<object>;
+  using Set = Microsoft.Boogie.GSet<object>;
+  using HashSet = Microsoft.Boogie.GSet<object>;
 
   /// <summary>
   ///  Creates a lattice that works for several variables given a MicroLattice.  Assumes