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/LinearConstraint.cs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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

diff --git a/Source/AIFramework/Polyhedra/LinearConstraint.cs b/Source/AIFramework/Polyhedra/LinearConstraint.cs
index 5d1cabd5..ab5e14f8 100644
--- a/Source/AIFramework/Polyhedra/LinearConstraint.cs
+++ b/Source/AIFramework/Polyhedra/LinearConstraint.cs
@@ -9,9 +9,10 @@ namespace Microsoft.AbstractInterpretationFramework {
   //using System.Compiler;
   using System.Collections;
   using Microsoft.Basetypes;
-  using IMutableSet = Microsoft.Boogie.Set;
-  using HashSet = Microsoft.Boogie.Set;
-  using ISet = Microsoft.Boogie.Set;
+  using Set = Microsoft.Boogie.GSet<object>;
+  using IMutableSet = Microsoft.Boogie.GSet<object>; 
+  using HashSet = Microsoft.Boogie.GSet<object>;
+  using ISet = Microsoft.Boogie.GSet<object>;
 
 
   /// <summary>
-- 
cgit v1.2.3