1 files changed, 0 insertions, 4 deletions
diff --git a/Source/Dafny/Compiler.cs b/Source/Dafny/Compiler.cs
index c73b51a1..fdab9ab9 100644
--- a/Source/Dafny/Compiler.cs
+++ b/Source/Dafny/Compiler.cs
@@ -855,10 +855,6 @@ namespace Microsoft.Dafny {
     void TrCallStmt(CallStmt s, string receiverReplacement, int indent) {
       Contract.Requires(s != null);
 
-      foreach (VarDecl local in s.NewVars) {
-        TrVarDecl(local, false, indent);
-      }
-
       Contract.Assert(s.Method != null);  // follows from the fact that stmt has been successfully resolved
       Indent(indent);
       if (receiverReplacement != null) {