tree c439b062915062261abffad32093e4284e745813
parent 76cd77dc729b03d6b33c683323594479e33a3f9a
author Tom Tromey <tromey@adacore.com> 1668787479 -0700
committer Tom Tromey <tromey@adacore.com> 1669643323 -0700

Fix crash in "document" command

PR cli/29800 points out that "document" will now crash when the
argument is an undefined command.  This is a regression due to the
"document user-defined aliases" patch.

Approved-By: Joel Brobecker <brobecker@adacore.com>
Reviewed-By: Philippe Waroquiers <philippe.waroquiers@skynet.be>
Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=29800