Minor change

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs
index 0fb2b3bb..7f14ecd8 100644
--- a/Source/Dafny/Resolver.cs
+++ b/Source/Dafny/Resolver.cs
@@ -1566,7 +1566,7 @@ namespace Microsoft.Dafny
               var status = CheckTailRecursive(m.Body.Body, m, ref tailCall, hasTailRecursionPreference);

               if (status != TailRecursionStatus.NotTailRecursive) {

                 m.IsTailRecursive = true;

-                ReportAddionalInformation(m.tok, "is tail recursive", m.Name.Length);

+                ReportAddionalInformation(m.tok, "tail recursive", m.Name.Length);

               }

             }

           }