diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 15:10:27 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 15:10:27 +0100 |
| commit | 57fb103b7ae870973544f957ae1c230dbf570cdb (patch) | |
| tree | 6fb2a02844e487dea5708016cbe882fffbdf8e46 /Source/Core/AbsyQuant.cs | |
| parent | 5664c5e30f16b74eae4cdcb0b9ba65d5b030c815 (diff) | |
Changed Has method of PureSequence to Contains to make refactoring easier.
Diffstat (limited to 'Source/Core/AbsyQuant.cs')
| -rw-r--r-- | Source/Core/AbsyQuant.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyQuant.cs b/Source/Core/AbsyQuant.cs index 92f255f3..cca59323 100644 --- a/Source/Core/AbsyQuant.cs +++ b/Source/Core/AbsyQuant.cs @@ -197,7 +197,7 @@ namespace Microsoft.Boogie { TypeVariableSeq/*!*/ unmentionedParameters = new TypeVariableSeq();
foreach (TypeVariable/*!*/ var in TypeParameters) {
Contract.Assert(var != null);
- if (!dummyParameters.Has(var))
+ if (!dummyParameters.Contains(var))
unmentionedParameters.Add(var);
}
return unmentionedParameters;
|