reintroduce rename error

dafny-lang · Oct 15, 2024 · c66fa0a · c66fa0a
1 parent faff8df
commit c66fa0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyLanguageServer/Handlers/DafnyHoverHandler.cs b/Source/DafnyLanguageServer/Handlers/DafnyHoverHandler.cs
@@ -332,7 +332,7 @@ string MoreInformation(Boogie.IToken? token, bool hoveringPostcondition) {
         } else {
           information += GetDescription(returnCounterexample.FailingReturn.Description);
         }
-        information += MoreInformation(returnCounterexample.FailingAssert.tok, currentlyHoveringPostcondition);
+        information += MoreInformation(returnCounterexample.FailingFailingAssert.tok, currentlyHoveringPostcondition);
       } else if (counterexample is CallCounterexample callCounterexample) {
         if (assertionNode.StatusVerification == GutterVerificationStatus.Error &&
             callCounterexample.FailingRequires.Description.SuccessDescription != "assertion always holds"