python: Make gdb.execute("show commands") work (PR 23669)

[deliverable/binutils-gdb.git] / gdb / guile / guile.h

diff --git a/gdb/guile/guile.h b/gdb/guile/guile.h
index aaa005816e626faef62dba93b699eb8223bcdf4c..2faa23da814c81ead027a22ce24c37e63fc5c9bd 100644 (file)
--- a/gdb/guile/guile.h
+++ b/gdb/guile/guile.h
@@ -25,4 +25,7 @@
 /* This is all that guile exports to gdb.  */
 extern const struct extension_language_defn extension_language_guile;
 
+/* Command element for the 'guile' command.  */
+extern cmd_list_element *guile_cmd_element;
+
 #endif /* GDB_GUILE_H */