diff options
| -rw-r--r-- | Source/Dafny/Resolver.cs | 2 |
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);
}
}
}
|