diff options
| author |  leino <unknown> | 2015-04-24 09:48:01 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-04-24 09:48:01 -0700 |
| commit | 84b3df3615af4f83df753b042b276b994a97b18b (patch) | |
| tree | f834b103760c740f0aa6d27f075343d9693cec9a /Source | |
| parent | 90c68ad369e3f9318d4f31ed4f9e628cb7f2738d (diff) | |
Fixed bug in tuples
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Dafny/DafnyAst.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index 75e30b40..792274f8 100644 --- a/Source/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs @@ -2023,6 +2023,7 @@ namespace Microsoft.Dafny { TypeParametersUsedInConstructionByDefaultCtor[i] = true;
}
}
+ this.EqualitySupport = ES.ConsultTypeArguments;
}
private static List<TypeParameter> CreateTypeParameters(int dims) {
Contract.Requires(0 <= dims);
|