diff options
| author |  Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-12-02 23:25:54 +0200 |
|---|---|---|
| committer | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-12-02 23:25:54 +0200 |
| commit | fc43d9d56bdf3cae68bb15871f074149d1381c6a (patch) | |
| tree | f26566fc64bd55697f541667e171b5bd9acb093f /Source/Dafny/Cloner.cs | |
| parent | bed9924162427012900237f9712fea35f2b814f4 (diff) | |
removing one unnessessary check in the cloner
Diffstat (limited to 'Source/Dafny/Cloner.cs')
| -rw-r--r-- | Source/Dafny/Cloner.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Cloner.cs b/Source/Dafny/Cloner.cs index 978bf5c4..d6cc9ebe 100644 --- a/Source/Dafny/Cloner.cs +++ b/Source/Dafny/Cloner.cs @@ -205,8 +205,8 @@ namespace Microsoft.Dafny public Formal CloneFormal(Formal formal) {
Formal f = new Formal(Tok(formal.tok), formal.Name, CloneType(formal.Type), formal.InParam, formal.IsGhost);
- if (f.Type is UserDefinedType && formal.Type is UserDefinedType)
- ((UserDefinedType)f.Type).ResolvedClass = ((UserDefinedType)(formal.Type)).ResolvedClass;
+ //if (f.Type is UserDefinedType && formal.Type is UserDefinedType)
+ // ((UserDefinedType)f.Type).ResolvedClass = ((UserDefinedType)(formal.Type)).ResolvedClass;
return f;
}
|