[Ada-mode-users] [Piotr Trojanek] [ada-mode] Light gpr_query.adb patch

[Stephen Leake]

Forwarding to the list

--- Begin Message --- Subject: [ada-mode] Light gpr_query.adb patch Date: Tue, 21 Nov 2017 10:55:34 +0100

Hi Stephen,

with the attached patch the gpr_query gracefully terminates on Ctrl-D
instead of crashing.

I also did some minor whitespace cleanups and commented unused USE
clauses (recent wavefronts of GNAT can flag them).

This seems too minor to bother the mailing list, yet I hope this helps.

-- 
Piotr Trojanek

gpr_query.diff
Description: Text document

--- End Message ---

-- 
-- Stephe