-
Notifications
You must be signed in to change notification settings - Fork 259
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix 4287 gutter highlight before project pr #4308
Fix 4287 gutter highlight before project pr #4308
Conversation
cb2c7e9
to
3bbabae
Compare
@@ -97,6 +97,10 @@ public class ClientBasedLanguageServerTest : DafnyLanguageServerTestBase, IAsync | |||
NotificationHandler.For<FileVerificationStatus>(verificationStatusReceiver.NotificationReceived)); | |||
} | |||
|
|||
public record Change(Range range, String inserted); | |||
|
|||
public record Changes(List<Change> changes); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is this one actually being used?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Not according to Rider's Find Usages for me - removed and will let CI call us a liar. :)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Right, I declared it but ended up not using it, good finding!
Fixes #4287
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.