diff options
Diffstat (limited to 'Source/AIFramework/Mutable.cs')
| -rw-r--r-- | Source/AIFramework/Mutable.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/AIFramework/Mutable.cs b/Source/AIFramework/Mutable.cs index 232909e4..7592aa6a 100644 --- a/Source/AIFramework/Mutable.cs +++ b/Source/AIFramework/Mutable.cs @@ -11,7 +11,7 @@ namespace Microsoft.AbstractInterpretationFramework.Collections { /// <summary>
/// Extend sets for using as a IWorkList.
/// </summary>
- public class WorkSet : Microsoft.Boogie.Set, Microsoft.Boogie.IWorkList {
+ public class WorkSet : Microsoft.Boogie.GSet<object>, Microsoft.Boogie.IWorkList {
// See Bug #148 for an explanation of why this is here.
// Without it, the contract inheritance rules will complain since it
|