Changed hover-text location for recursive ind/co-lemma calls

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/Cloner.cs b/Source/Dafny/Cloner.cs
index 0a5ca245..e85eeaca 100644
--- a/Source/Dafny/Cloner.cs
+++ b/Source/Dafny/Cloner.cs
@@ -837,7 +837,7 @@ namespace Microsoft.Dafny
           apply.Args.ForEach(arg => args.Add(CloneExpr(arg)));

           var applyClone = new ApplySuffix(Tok(apply.tok), lhsClone, args);

           var c = new ExprRhs(applyClone);

-          ReportAdditionalInformation(apply.tok, mse.Member.Name);

+          ReportAdditionalInformation(apply.Lhs.tok, mse.Member.Name);

           return c;

         }

       }