Good point. I think it's better to give this error without calling
abort(). Otherwise we can't even test how they work.
I'll make a patch. Are there any others?
--
Don't drink and drive. You might hit a bump and spill your beer.
/// Bram Moolenaar -- Br...@Moolenaar.net --
http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features --
http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language --
http://www.Zimbu.org ///
\\\ help me help AIDS victims --
http://ICCF-Holland.org ///