diff options
Diffstat (limited to 'Source/VCExpr/TypeErasurePremisses.cs')
| -rw-r--r-- | Source/VCExpr/TypeErasurePremisses.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCExpr/TypeErasurePremisses.cs b/Source/VCExpr/TypeErasurePremisses.cs index 44eb7dbb..12f8d7e3 100644 --- a/Source/VCExpr/TypeErasurePremisses.cs +++ b/Source/VCExpr/TypeErasurePremisses.cs @@ -355,7 +355,7 @@ namespace Microsoft.Boogie.TypeErasure foreach (TypeVariable/*!*/ var in allTypeParams) {
Contract.Assert(var != null);
- if (varsInInParamTypes.Has(var))
+ if (varsInInParamTypes.Contains(var))
implicitParams.Add(var);
else
explicitParams.Add(var);
|