tree b15237dba7cf86ea9e86372cb8b19d770a51261c
parent b2841da4f20b83b22fb46d82a86fe53ba7448469
author Tom Tromey <tromey@adacore.com> 1729011001 -0600
committer Tom Tromey <tromey@adacore.com> 1729273827 -0600

Require a command argument in gdb.execute_mi

Hannes pointed out that gdb.execute_mi() will crash.
This patch fixes the bug.

Reviewed-By: Guinevere Larsen <guinevere@redhat.com>