Put a space after the colon when reporting an undefined command.

diff --git a/src/edwin/comman.scm b/src/edwin/comman.scm
index 162797ddf1620331b19937006182ff12ecaa2b5f..48678ebd0fd28c1a7c8fa5e113446b44a5dc150a 100644 (file)
--- a/src/edwin/comman.scm
+++ b/src/edwin/comman.scm
@@ -84,7 +84,7 @@ USA.
                    name
                    "undefined command"
                    '()
-                   (lambda () (editor-error "Undefined command:" name)))))
+                   (lambda () (editor-error "Undefined command: " name)))))
           command))
        (else
         (error:bad-range-argument if-undefined 'NAME->COMMAND)))))