From f2800362628674094694b1d95bc0ba093745b0d8 Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Wed, 7 Dec 2011 10:38:22 -0800
Subject: Make set iteration order deterministic Make the set class generic

---
 Source/AIFramework/Polyhedra/LinearConstraintSystem.cs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'Source/AIFramework/Polyhedra/LinearConstraintSystem.cs')

diff --git a/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
index 299d49cf..74e36eae 100644
--- a/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
+++ b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
@@ -11,9 +11,10 @@ namespace Microsoft.AbstractInterpretationFramework {
   //using Microsoft.SpecSharp.Collections;
   using System.Diagnostics.Contracts;
   using Microsoft.Basetypes;
-  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 HashSet = Microsoft.Boogie.GSet<object>;
 
   /// <summary>
   /// Represents a system of linear constraints (constraint/frame representations).
-- 
cgit v1.2.3