diff options
Diffstat (limited to 'Dafny/Resolver.cs')
| -rw-r--r-- | Dafny/Resolver.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Dafny/Resolver.cs b/Dafny/Resolver.cs index 8ab946dc..233f5415 100644 --- a/Dafny/Resolver.cs +++ b/Dafny/Resolver.cs @@ -497,8 +497,10 @@ namespace Microsoft.Dafny { allTypeParameters.PopMarker();
if (dt is IndDatatypeDecl) {
+ var idt = (IndDatatypeDecl)dt;
+ dependencies.AddVertex(idt);
foreach (Formal p in ctor.Formals) {
- AddDatatypeDependencyEdge((IndDatatypeDecl)dt, p.Type, dependencies);
+ AddDatatypeDependencyEdge(idt, p.Type, dependencies);
}
}
}
|