diff options
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lego/lego.el b/lego/lego.el index 47a72861..a0292bdb 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -56,7 +56,7 @@ (lambda (cmd string) (setq proof-shell-delayed-output ;;FIXME: This should be displayed in the minibuffer only - (cons 'insert "Imports done!")))) + (cons 'insert "\n\nImports done!")))) "Acknowledge end of processing import declarations.") (defconst lego-process-config |