diff options
Diffstat (limited to 'etc/ledit.l')
| -rw-r--r-- | etc/ledit.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ledit.l b/etc/ledit.l index 37f8fcbb15f..0c572fa07ae 100644 --- a/etc/ledit.l +++ b/etc/ledit.l @@ -89,7 +89,7 @@ (format ofile "(insert-file \"~A\")" *ledit-ppfile*) (format ofile "(lisp-mode)")) - + (t (format t "~&~A -- unknown option~%" (cdr args)))) (close ofile)))) |