Minor, add spaces to diagnostic message

This commit is contained in:
Alexander Udalov
2020-10-08 20:15:47 +02:00
parent ac39e4d89c
commit a4fb2a445f