diff options
author | leino <unknown> | 2015-01-09 05:09:25 -0800 |
---|---|---|
committer | leino <unknown> | 2015-01-09 05:09:25 -0800 |
commit | 97e7528b3cd3e9b9e21b75abf817d6e0ed3b9df7 (patch) | |
tree | 7d94bf568cce7b5b232f32c525f05122b934054d /Source/Dafny/Cloner.cs | |
parent | b09206df1a298d56fca3bec95baab41b7f670731 (diff) |
When ambiguous references all resolve to the same declaration, don't complain
Diffstat (limited to 'Source/Dafny/Cloner.cs')
-rw-r--r-- | Source/Dafny/Cloner.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Dafny/Cloner.cs b/Source/Dafny/Cloner.cs index ebb291fb..f95c05ed 100644 --- a/Source/Dafny/Cloner.cs +++ b/Source/Dafny/Cloner.cs @@ -115,7 +115,6 @@ namespace Microsoft.Dafny } else if (d is AliasModuleDecl) {
var a = (AliasModuleDecl)d;
var alias = new AliasModuleDecl(a.Path, a.tok, m, a.Opened);
- alias.ModuleReference = a.ModuleReference;
alias.Signature = a.Signature;
return alias;
} else if (d is ModuleFacadeDecl) {
|