diff options
Diffstat (limited to 'Dafny/Compiler.cs')
-rw-r--r-- | Dafny/Compiler.cs | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/Dafny/Compiler.cs b/Dafny/Compiler.cs index 86fd1688..c73b51a1 100644 --- a/Dafny/Compiler.cs +++ b/Dafny/Compiler.cs @@ -967,15 +967,7 @@ namespace Microsoft.Dafny { Indent(indent);
wr.Write("{0} @{1}", TypeName(s.Type), s.Name);
- if (s.Rhs != null) {
- wr.Write(" = ");
- TrAssignmentRhs(s.Rhs);
- wr.WriteLine(";");
- var tRhs = s.Rhs as TypeRhs;
- if (tRhs != null && tRhs.InitCall != null) {
- TrCallStmt(tRhs.InitCall, s.Name, indent);
- }
- } else if (alwaysInitialize) {
+ if (alwaysInitialize) {
// produce a default value
wr.WriteLine(" = {0};", DefaultValue(s.Type));
} else {
|