diff options
Diffstat (limited to 'Source/AIFramework/MultiLattice.cs')
| -rw-r--r-- | Source/AIFramework/MultiLattice.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/AIFramework/MultiLattice.cs b/Source/AIFramework/MultiLattice.cs index 9071bd4c..ba9aa752 100644 --- a/Source/AIFramework/MultiLattice.cs +++ b/Source/AIFramework/MultiLattice.cs @@ -11,7 +11,9 @@ namespace Microsoft.AbstractInterpretationFramework { using Microsoft.AbstractInterpretationFramework.Collections;
using Microsoft.Boogie;
- using ISet = Microsoft.Boogie.Set;
+
+ using ISet = Microsoft.Boogie.GSet<object>;
+ using Set = Microsoft.Boogie.GSet<object>;
/// <summary>
|