Add newline to the end of the duplicate lint warning output

This commit is contained in:
Christopher Baines 2019-09-05 13:56:59 +02:00
parent 2485da7cfc
commit 38adedcede

View file

@ -490,7 +490,7 @@ WHERE job_id = $1"
(apply
simple-format
(current-error-port)
"warning: skipping duplicate lint warning ~A ~A"
"warning: skipping duplicate lint warning ~A ~A\n"
location-and-messages)
result)
(append result