If the user selects from the procedure name Main to the procedure end label Main, the whole file needs to be formatted. This PR fixes an exception that was being raised when converting from Source_Location_Range to Span.
procedure Main is
begin
declare
A : Integer;
begin
null;
end;
end Main;
If the user selects from the procedure name
Main
to the procedure end labelMain
, the whole file needs to be formatted. This PR fixes an exception that was being raised when converting fromSource_Location_Range
toSpan
.