diff options
| author |  Bryan Parno <parno@microsoft.com> | 2014-01-09 01:01:05 -0800 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2014-01-09 01:01:05 -0800 |
| commit | f6e75c622bfc07906426adc7fc8eb997f88941c7 (patch) | |
| tree | fb1f02c87ac4a5c0d065e34108af3d0ba2ee92ba | |
| parent | de8338b233b3a4daec0f0cfcfeca59115e32e574 (diff) | |
Fixed a resolve bug for UserDefinedTypes
| -rw-r--r-- | Source/Dafny/Resolver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs index f8880f92..a0dc2483 100644 --- a/Source/Dafny/Resolver.cs +++ b/Source/Dafny/Resolver.cs @@ -3625,7 +3625,7 @@ namespace Microsoft.Dafny }
UserDefinedType aa = (UserDefinedType)a;
UserDefinedType bb = (UserDefinedType)b;
- if (aa.ResolvedClass != null && aa.ResolvedClass == bb.ResolvedClass) {
+ if (aa.ResolvedClass != null && aa.ResolvedClass.Name == bb.ResolvedClass.Name) {
// these are both resolved class/datatype types
Contract.Assert(aa.TypeArgs.Count == bb.TypeArgs.Count);
bool successSoFar = true;
|