Fix 4287 gutter highlight before project pr #13939
Annotations
3 warnings
Source/DafnyLanguageServer/Workspace/ChangeProcessors/Relocator.cs#L51
Possible null reference assignment.
|
Source/DafnyLanguageServer/Workspace/ChangeProcessors/Relocator.cs#L51
Possible null reference assignment.
|
Source/DafnyLanguageServer/Workspace/ChangeProcessors/Relocator.cs#L51
Possible null reference assignment.
|
The logs for this run have expired and are no longer available.
Loading