[COMMITTED] poke: fix printing of Type in pk_info_ios

[Jose E. Marchesi]

2024-09-19  Jose E. Marchesi  <jemarch@gnu.org>

        * poke/pk-cmd-info.pk (pk_info_ios): Fix printing of the type of
        IO spaces in table.
---
 ChangeLog           | 5 +++++
 poke/pk-cmd-info.pk | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 11b45bf2..e34f25d9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-09-19  Jose E. Marchesi  <jemarch@gnu.org>
+
+       * poke/pk-cmd-info.pk (pk_info_ios): Fix printing of the type of
+       IO spaces in table.
+
 2024-09-19  Jose E. Marchesi  <jemarch@gnu.org>
 
        * libpoke/ios-dev.h (struct ios_dev_if): New field
diff --git a/poke/pk-cmd-info.pk b/poke/pk-cmd-info.pk
index e6c95cc2..6971a39c 100644
--- a/poke/pk-cmd-info.pk
+++ b/poke/pk-cmd-info.pk
@@ -47,7 +47,7 @@ fun pk_info_ios = void:
 
       table.row;
       table.column ((ios == get_ios ? "* " : "  ") + format ("%i32d", ios));
-      table.column (iotype);
+      table.column (iotype (ios));
       table.column (iovolatile (ios) ? "yes" : "no");
       table.column (mode);
       if (bias > 0xffff_ffff)
-- 
2.30.2